diff --git a/os/run/demo.run b/os/run/demo.run
index aac739446a..ffda4c93c4 100644
--- a/os/run/demo.run
+++ b/os/run/demo.run
@@ -10,9 +10,10 @@ set build_components {
 	drivers/framebuffer drivers/pci drivers/input
 }
 
-lappend_if [have_spec usb]   build_components drivers/usb
-lappend_if [have_spec gpio]  build_components drivers/gpio
-lappend_if [have_spec imx53] build_components drivers/platform
+lappend_if [have_spec usb]     build_components drivers/usb
+lappend_if [have_spec gpio]    build_components drivers/gpio
+lappend_if [have_spec imx53]   build_components drivers/platform
+lappend_if [have_spec exynos5] build_components drivers/platform
 
 build $build_components
 
@@ -69,6 +70,13 @@ append_if [have_spec gpio] config {
 		<config/>
 	</start>}
 
+append_if [have_spec exynos5] config {
+	<start name="platform_drv">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="Regulator"/></provides>
+		<config/>
+	</start>}
+
 append_if [have_spec imx53] config {
 	<start name="platform_drv">
 		<resource name="RAM" quantum="1M"/>
@@ -91,7 +99,7 @@ append_if [expr ![have_spec ps2] && [have_spec usb]] config {
 	<start name="usb_drv">
 		<resource name="RAM" quantum="12M"/>
 		<provides><service name="Input"/></provides>
-		<config ehci="yes" uhci="yes" xhci="yes"> <hid/> </config>
+		<config ehci="yes" uhci="yes" xhci="no"> <hid/> </config>
 	</start> }
 
 append config {
@@ -156,6 +164,7 @@ lappend_if [have_spec framebuffer] boot_modules fb_drv
 lappend_if [have_spec usb]         boot_modules usb_drv
 lappend_if [have_spec gpio]        boot_modules gpio_drv
 lappend_if [have_spec imx53]       boot_modules platform_drv
+lappend_if [have_spec exynos5]     boot_modules platform_drv
 lappend_if [have_spec imx53]       boot_modules input_drv
 
 build_boot_image $boot_modules