From 0db81f66ae22f95a8d993ec0282536374144c7f1 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Sat, 23 Jun 2018 17:19:12 +0200
Subject: [PATCH] nova: propagate vga text info via platform_info

Issue #2880
---
 repos/base-nova/src/core/platform.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/base-nova/src/core/platform.cc b/repos/base-nova/src/core/platform.cc
index 0f9c3c6e2..f7fedb068 100644
--- a/repos/base-nova/src/core/platform.cc
+++ b/repos/base-nova/src/core/platform.cc
@@ -266,7 +266,7 @@ static bool cpuid_invariant_tsc()
 struct Resolution : Register<64>
 {
 	struct Bpp    : Bitfield<0, 8> { };
-	struct Type   : Bitfield<8, 8> { };
+	struct Type   : Bitfield<8, 8> { enum { VGA_TEXT = 2 }; };
 	struct Height : Bitfield<16, 24> { };
 	struct Width  : Bitfield<40, 24> { };
 };
@@ -681,7 +681,7 @@ Platform::Platform() :
 				if (!boot_fb)
 					return;
 
-				if (!efi_boot)
+				if (!efi_boot && (Resolution::Type::get(boot_fb->size) != Resolution::Type::VGA_TEXT))
 					return;
 
 				xml.node("framebuffer", [&] () {