From 65d8d4461f060718dc18ffad4f0eb8720fa2dd5f Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 8 May 2015 19:45:38 +0200
Subject: [PATCH] vbox: adapt run scripts to new AHCI driver

Fixes #1503
---
 repos/ports/run/virtualbox_auto.inc | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/repos/ports/run/virtualbox_auto.inc b/repos/ports/run/virtualbox_auto.inc
index 9e5d8da577..0e8a7769b0 100644
--- a/repos/ports/run/virtualbox_auto.inc
+++ b/repos/ports/run/virtualbox_auto.inc
@@ -48,9 +48,12 @@ set config {
 		<provides><service name="Timer"/></provides>
 	</start>
 	<start name="ahci" priority="-1">
-		<binary name="ahci" />
+		<binary name="ahci_drv" />
 		<resource name="RAM" quantum="10M" />
 		<provides><service name="Block" /></provides>
+		<config>
+			<policy label="part_blk" device="0" />
+		</config>
 		<route>
 			<service name="IRQ"><child name="acpi" /></service>
 			<any-service> <parent /> <any-child /></any-service>
@@ -175,7 +178,7 @@ install_config $config
 
 append boot_modules {
 	core init timer
-	part_blk ahci
+	part_blk ahci_drv
 	ld.lib.so libc.lib.so libm.lib.so pthread.lib.so
 	libc_lock_pipe.lib.so libc_terminal.lib.so
 	libiconv.lib.so stdcxx.lib.so