From f94c2d6aaf927cb9ad24213f15c3496aa815c223 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 9 Jun 2016 14:11:18 +0200
Subject: [PATCH] vbox: use ahci model in vbox_auto_win7.run

Issue #2006
---
 repos/ports/run/vm_win7.vbox | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/run/vm_win7.vbox b/repos/ports/run/vm_win7.vbox
index 08c891cdd..ac5cfc668 100644
--- a/repos/ports/run/vm_win7.vbox
+++ b/repos/ports/run/vm_win7.vbox
@@ -91,7 +91,7 @@
       <GuestProperties/>
     </Hardware>
     <StorageControllers>
-      <StorageController name="IDE" type="PIIX4" PortCount="2" useHostIOCache="true" Bootable="true">
+      <StorageController name="SATA" type="AHCI" PortCount="2" useHostIOCache="true" Bootable="true">
         <AttachedDevice type="HardDisk" port="0" device="0">
           <Image uuid="{4c5ed34f-f6cf-48e8-808d-2c06f0d11464}"/>
         </AttachedDevice>