From ec9e40695d8036e41f927a269a05267c52a0336f Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 21 Oct 2019 14:35:55 +0200
Subject: [PATCH] vbox: use PIIX3 instead of ICH9 in VM config

Prevents #3533
---
 repos/ports/run/test.vbox | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/run/test.vbox b/repos/ports/run/test.vbox
index 26db043fb..022421e77 100644
--- a/repos/ports/run/test.vbox
+++ b/repos/ports/run/test.vbox
@@ -32,7 +32,7 @@
       <Memory RAMSize="256" PageFusion="false"/>
       <HID Pointing="PS2Mouse" Keyboard="PS2Keyboard"/>
       <HPET enabled="false"/>
-      <Chipset type="ICH9"/>
+      <Chipset type="PIIX3"/>
       <Boot>
         <Order position="1" device="Floppy"/>
         <Order position="2" device="DVD"/>