From 6b20a6bc7cedd475e345ed2a1ed646ba8fe4f02d Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Sat, 19 Sep 2020 20:52:22 +0200
Subject: [PATCH] tool: add hint how to enable vga console in nova

Issue #3928
---
 tool/run/boot_dir/nova | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tool/run/boot_dir/nova b/tool/run/boot_dir/nova
index a230d43aeb..2247de3698 100644
--- a/tool/run/boot_dir/nova
+++ b/tool/run/boot_dir/nova
@@ -114,6 +114,7 @@ proc run_boot_dir {binaries} {
 		puts $fh "set timeout=0"
 
 		# choose best graphic mode
+		# uncomment line to get vga console working in hypervisor
 		puts $fh "set gfxpayload=auto"
 
 		if {[have_include image/uefi]} {