From a98e9c1822e955b0e4f7f03be07ea3360d9cfa1e Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 6 Jan 2016 14:54:30 +0100
Subject: [PATCH] libc: fix test for libc_block

---
 repos/libports/run/libc_block.run | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/repos/libports/run/libc_block.run b/repos/libports/run/libc_block.run
index 0b41093904..1c0ea08a1c 100644
--- a/repos/libports/run/libc_block.run
+++ b/repos/libports/run/libc_block.run
@@ -73,10 +73,12 @@ set config {
 append_platform_drv_config
 
 append_if $use_ahci_drv config {
-	<start name="ahci">
-		<resource name="RAM" quantum="1M"/>
+	<start name="ahci_drv">
+		<resource name="RAM" quantum="10M"/>
 		<provides> <service name="Block"/> </provides>
-		<config ata="yes" />
+		<config ata="yes">
+			<policy label="test-libc_block" device="0"/>
+		</config>
 	</start>
 }
 
@@ -104,7 +106,7 @@ set boot_modules {
 	test-libc_block
 }
 
-lappend_if $use_ahci_drv     boot_modules ahci
+lappend_if $use_ahci_drv     boot_modules ahci_drv
 lappend_if $use_sd_card_drv  boot_modules sd_card_drv
 
 append_platform_drv_boot_modules