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