From 819e54f86041a077a9ffaf5b66d6b0b5da70f1ee Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 7 Apr 2014 09:26:51 +0200
Subject: [PATCH] run: change resolution of virtualbox_auto_disk

We changed the test hardware and the new one does not support 1400x1050 anymore.
Choose some conservative resolution since this is anyway a auto test nobody
is really looking at the screen output.
---
 ports/run/virtualbox_auto.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports/run/virtualbox_auto.inc b/ports/run/virtualbox_auto.inc
index e9bb7de655..04b630c19b 100644
--- a/ports/run/virtualbox_auto.inc
+++ b/ports/run/virtualbox_auto.inc
@@ -103,7 +103,7 @@ append_if [have_spec framebuffer] config {
 	<start name="fb_drv">
 		<resource name="RAM" quantum="6M"/>
 		<provides><service name="Framebuffer"/></provides>
-		<config buffered="yes" width="1400" height="1050" depth="16" />
+		<config buffered="yes" width="1024" height="768" depth="16" />
 	</start>}
 
 append config $config_of_app