From 84d3caaba500428ca35dc6c3e2df3055286e0e6a Mon Sep 17 00:00:00 2001
From: Drew Galbraith <dgalbraith33@gmail.com>
Date: Wed, 15 Nov 2023 16:41:51 -0800
Subject: [PATCH] [Teton] Get framebuffer info from yellowstone.

---
 sys/teton/teton.cpp | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/sys/teton/teton.cpp b/sys/teton/teton.cpp
index ac71212..f6222b7 100644
--- a/sys/teton/teton.cpp
+++ b/sys/teton/teton.cpp
@@ -1,11 +1,19 @@
 #include <mammoth/debug.h>
 #include <mammoth/init.h>
+#include <yellowstone/yellowstone.yunq.client.h>
 
 uint64_t main(uint64_t init_port) {
   ParseInitPort(init_port);
 
   dbgln("Teton Starting");
+
   // 1. Set up framebuffer.
+  YellowstoneClient client(gInitEndpointCap);
+
+  FramebufferInfo framebuffer;
+  RET_ERR(client.GetFramebufferInfo({}, framebuffer));
+  dbgln("FB addr {x}, width {} , height {}", framebuffer.address_phys(),
+        framebuffer.width(), framebuffer.height());
 
   // 2. Parse a font file.