From c93e770316defc175f1932b49a4d59637ee84455 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 19 Jun 2013 12:45:32 +0200
Subject: [PATCH] ahci & exynos5: use platform driver in AHCI test

---
 os/run/ahci.run | 18 +++++++++++++-----
 1 file changed, 13 insertions(+), 5 deletions(-)

diff --git a/os/run/ahci.run b/os/run/ahci.run
index b4ad127e4b..faafda72f2 100644
--- a/os/run/ahci.run
+++ b/os/run/ahci.run
@@ -9,9 +9,10 @@ if {![have_spec x86_32] && ![have_spec exynos5]} {
 
 set build_components { core init drivers/timer drivers/ahci test/block }
 
-lappend_if [have_spec x86_32] build_components drivers/pci
-lappend_if [have_spec acpi]   build_components drivers/acpi
-lappend_if [have_spec pci]    build_components drivers/pci/device_pd
+lappend_if [have_spec x86_32]  build_components drivers/pci
+lappend_if [have_spec acpi]    build_components drivers/acpi
+lappend_if [have_spec pci]     build_components drivers/pci/device_pd
+lappend_if [have_spec exynos5] build_components drivers/platform
 
 build $build_components
 
@@ -40,6 +41,12 @@ set config {
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>}
 
+append_if [have_spec exynos5] config {
+	<start name="platform_drv">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="Regulator"/></provides>
+	</start> }
+
 append_if [have_spec acpi] config {
 	<start name="acpi">
 		<resource name="RAM" quantum="4M"/>
@@ -103,8 +110,9 @@ install_config $config
 
 set boot_modules { core init timer ahci test-block }
 
-append_if [have_spec x86_32] boot_modules { pci_drv acpi_drv }
-append_if [have_spec nova]   boot_modules pci_device_pd
+append_if [have_spec x86_32]  boot_modules { pci_drv acpi_drv }
+append_if [have_spec nova]    boot_modules pci_device_pd
+append_if [have_spec exynos5] boot_modules platform_drv
 
 build_boot_image $boot_modules