diff --git a/dde_linux/run/usb_hid.run b/dde_linux/run/usb_hid.run
index ed5f791f7..3b48e2d42 100644
--- a/dde_linux/run/usb_hid.run
+++ b/dde_linux/run/usb_hid.run
@@ -9,9 +9,10 @@ set build_components {
test/input
}
-lappend_if [have_spec acpi] build_components drivers/acpi
-lappend_if [have_spec pci] build_components drivers/pci
-lappend_if [have_spec pci] build_components drivers/pci/device_pd
+lappend_if [have_spec acpi] build_components drivers/acpi
+lappend_if [have_spec pci] build_components drivers/pci
+lappend_if [have_spec pci] build_components drivers/pci/device_pd
+lappend_if [have_spec platform_arndale] build_components drivers/platform
build $build_components
@@ -40,6 +41,12 @@ append config {
}
+append_if [have_spec platform_arndale] config {
+
+
+
+ }
+
append_if [have_spec acpi] config {
@@ -88,9 +95,10 @@ set boot_modules {
core init timer usb_drv test-input
}
-lappend_if [have_spec acpi] boot_modules acpi_drv
-lappend_if [have_spec pci] boot_modules pci_drv
-lappend_if [have_spec nova] boot_modules pci_device_pd
+lappend_if [have_spec acpi] boot_modules acpi_drv
+lappend_if [have_spec pci] boot_modules pci_drv
+lappend_if [have_spec nova] boot_modules pci_device_pd
+lappend_if [have_spec platform_arndale] boot_modules platform_drv
build_boot_image $boot_modules
diff --git a/dde_linux/run/usb_net.run b/dde_linux/run/usb_net.run
index d37737a74..b021bff29 100644
--- a/dde_linux/run/usb_net.run
+++ b/dde_linux/run/usb_net.run
@@ -17,8 +17,9 @@ build {
test/lwip/http_srv
}
-lappend_if [have_spec acpi] build_components drivers/acpi
-lappend_if [have_spec pci] build_components drivers/pci/device_pd
+lappend_if [have_spec acpi] build_components drivers/acpi
+lappend_if [have_spec pci] build_components drivers/pci/device_pd
+lappend_if [have_spec platform_arndale] build_components drivers/platform
create_boot_directory
@@ -49,14 +50,12 @@ set config {
-
+
-
-
+
-
@@ -77,6 +76,12 @@ append_if [have_spec acpi] config {
}
+append_if [have_spec platform_arndale] config {
+
+
+
+ }
+
append_if [expr ![have_spec acpi] && [have_spec pci]] config {
@@ -100,9 +105,10 @@ set boot_modules {
ld.lib.so libc.lib.so libc_log.lib.so lwip.lib.so test-lwip_httpsrv
}
-lappend_if [have_spec acpi] boot_modules acpi_drv
-lappend_if [have_spec pci] boot_modules pci_drv
-lappend_if [have_spec nova] boot_modules pci_device_pd
+lappend_if [have_spec acpi] boot_modules acpi_drv
+lappend_if [have_spec pci] boot_modules pci_drv
+lappend_if [have_spec nova] boot_modules pci_device_pd
+lappend_if [have_spec platform_arndale] boot_modules platform_drv
build_boot_image $boot_modules
diff --git a/dde_linux/run/usb_storage.run b/dde_linux/run/usb_storage.run
index bd41e6006..f1f2706d3 100644
--- a/dde_linux/run/usb_storage.run
+++ b/dde_linux/run/usb_storage.run
@@ -15,9 +15,10 @@ build {
test/block
}
-lappend_if [have_spec acpi] build_components drivers/acpi
-lappend_if [have_spec pci] build_components drivers/pci
-lappend_if [have_spec pci] build_components drivers/pci/device_pd
+lappend_if [have_spec acpi] build_components drivers/acpi
+lappend_if [have_spec pci] build_components drivers/pci
+lappend_if [have_spec pci] build_components drivers/pci/device_pd
+lappend_if [have_spec platform_arndale] build_components drivers/platform
create_boot_directory
@@ -64,6 +65,12 @@ append_if [expr ![have_spec acpi] && [have_spec pci]] config {
}
+append_if [have_spec platform_arndale] config {
+
+
+
+ }
+
append config {
@@ -91,9 +98,10 @@ set boot_modules {
core init timer usb_drv test-block
}
-lappend_if [have_spec acpi] boot_modules acpi_drv
-lappend_if [have_spec pci] boot_modules pci_drv
-lappend_if [have_spec nova] boot_modules pci_device_pd
+lappend_if [have_spec acpi] boot_modules acpi_drv
+lappend_if [have_spec pci] boot_modules pci_drv
+lappend_if [have_spec nova] boot_modules pci_device_pd
+lappend_if [have_spec platform_arndale] boot_modules platform_drv
build_boot_image $boot_modules
diff --git a/libports/run/lwip.run b/libports/run/lwip.run
index 7ac1496ed..2f59bc2f4 100644
--- a/libports/run/lwip.run
+++ b/libports/run/lwip.run
@@ -37,9 +37,10 @@ set build_components {
set use_usb_driver [expr [have_spec omap4] || [have_spec exynos5]]
set use_nic_driver [expr !$use_usb_driver]
-lappend_if $use_usb_driver build_components drivers/usb
-lappend_if [have_spec acpi] build_components drivers/acpi
-lappend_if [have_spec pci] build_components drivers/pci/device_pd
+lappend_if $use_usb_driver build_components drivers/usb
+lappend_if [have_spec acpi] build_components drivers/acpi
+lappend_if [have_spec pci] build_components drivers/pci/device_pd
+lappend_if [have_spec platform_arndale] build_components drivers/platform
build $build_components
@@ -75,6 +76,13 @@ set config {
}
+
+append_if [have_spec platform_arndale] config {
+
+
+
+ }
+
append_if $use_usb_driver config {
@@ -129,11 +137,12 @@ set boot_modules {
}
# platform-specific modules
-lappend_if [have_spec acpi] boot_modules acpi_drv
-lappend_if [have_spec pci] boot_modules pci_drv
-lappend_if $use_usb_driver boot_modules usb_drv
-lappend_if $use_nic_driver boot_modules nic_drv
-lappend_if [have_spec nova] boot_modules pci_device_pd
+lappend_if [have_spec acpi] boot_modules acpi_drv
+lappend_if [have_spec pci] boot_modules pci_drv
+lappend_if $use_usb_driver boot_modules usb_drv
+lappend_if $use_nic_driver boot_modules nic_drv
+lappend_if [have_spec nova] boot_modules pci_device_pd
+lappend_if [have_spec platform_arndale] boot_modules platform_drv
build_boot_image $boot_modules
diff --git a/libports/run/test-ping_client.run b/libports/run/test-ping_client.run
index cb17ab9d1..07007578f 100644
--- a/libports/run/test-ping_client.run
+++ b/libports/run/test-ping_client.run
@@ -15,6 +15,7 @@ set build_components {
}
lappend_if [expr [have_spec omap4] || [have_spec exynos5]] build_components drivers/usb
+lappend_if [have_spec platform_arndale] build_components drivers/platform
build $build_components
@@ -47,6 +48,12 @@ set config {
}
+append_if [have_spec platform_arndale] config {
+
+
+
+ }
+
append_if [expr [have_spec omap4] || [have_spec exynos5]] config {
@@ -118,9 +125,10 @@ set boot_modules {
}
# platform-specific modules
-lappend_if [have_spec pci] boot_modules pci_drv
-lappend_if [have_spec omap4] boot_modules usb_drv
-lappend_if [expr ![have_spec omap4]] boot_modules nic_drv
+lappend_if [have_spec pci] boot_modules pci_drv
+lappend_if [expr [have_spec omap4] || [have_spec exynos5]] boot_modules usb_drv
+lappend_if [expr ![have_spec omap4] && ![have_spec exynos5]] boot_modules nic_drv
+lappend_if [have_spec platform_arndale] boot_modules platform_drv
build_boot_image $boot_modules
diff --git a/libports/run/test-ping_server.run b/libports/run/test-ping_server.run
index 27ea0a65e..4f733b157 100644
--- a/libports/run/test-ping_server.run
+++ b/libports/run/test-ping_server.run
@@ -15,6 +15,7 @@ set build_components {
}
lappend_if [expr [have_spec omap4] || [have_spec exynos5]] build_components drivers/usb
+lappend_if [have_spec platform_arndale] build_components drivers/platform
build $build_components
@@ -53,6 +54,12 @@ set config {
}
+append_if [have_spec platform_arndale] config {
+
+
+
+ }
+
append_if [expr [have_spec omap4] || [have_spec exynos5]] config {
@@ -94,9 +101,10 @@ set boot_modules {
}
# platform-specific modules
-lappend_if [have_spec pci] boot_modules pci_drv
-lappend_if [expr [have_spec omap4] || [have_spec exynos5]] boot_modules usb_drv
+lappend_if [have_spec pci] boot_modules pci_drv
+lappend_if [expr [have_spec omap4] || [have_spec exynos5]] boot_modules usb_drv
lappend_if [expr ![have_spec omap4] && ![have_spec exynos5]] boot_modules nic_drv
+lappend_if [have_spec platform_arndale] boot_modules platform_drv
build_boot_image $boot_modules
diff --git a/os/run/cpufreq.run b/os/run/cpufreq.run
index c7499fcd9..08b8e6eff 100644
--- a/os/run/cpufreq.run
+++ b/os/run/cpufreq.run
@@ -1,3 +1,5 @@
+assert_spec foc_arndale
+
#
# Build
#
diff --git a/os/run/sd_card.run b/os/run/sd_card.run
index 2a58a6849..c07591ba3 100644
--- a/os/run/sd_card.run
+++ b/os/run/sd_card.run
@@ -5,11 +5,11 @@
# generic components
set build_components {
core init
- drivers/platform
drivers/timer
drivers/sd_card
test/block
}
+lappend_if [have_spec platform_arndale] build_components drivers/platform
build $build_components
create_boot_directory
@@ -35,12 +35,15 @@ set config {
-
+ }
+append_if [have_spec platform_arndale] config {
-
+ }
+
+append config {
@@ -52,8 +55,7 @@ set config {
-
-}
+ }
install_config $config
@@ -66,10 +68,10 @@ install_config $config
set boot_modules {
core init
timer
- platform_drv
sd_card_drv
test-block
}
+lappend_if [have_spec platform_arndale] boot_modules platform_drv
set disk_image "bin/sd_card.img"
diff --git a/ports-foc/run/l4android.run b/ports-foc/run/l4android.run
index bb3d645db..425f548ec 100644
--- a/ports-foc/run/l4android.run
+++ b/ports-foc/run/l4android.run
@@ -7,10 +7,11 @@ if {[have_spec foc] == 0} {
exit 0
}
-set use_usb_drv [expr [have_spec omap4] || [have_spec exynos5]]
-set use_nic_drv [expr !$use_usb_drv]
-set use_atapi_drv [have_spec x86]
-set use_sd_card_drv [expr [have_spec omap4] || [have_spec exynos5] || [have_spec pl180]]
+set use_platform_drv [expr [have_spec platform_arndale] || [have_spec platform_imx53]]
+set use_usb_drv [expr [have_spec omap4] || [have_spec exynos5]]
+set use_nic_drv [expr !$use_usb_drv]
+set use_atapi_drv [have_spec x86]
+set use_sd_card_drv [expr [have_spec omap4] || [have_spec exynos5] || [have_spec pl180]]
# generic components
set build_components {
@@ -32,6 +33,7 @@ lappend_if $use_usb_drv build_components drivers/usb
lappend_if $use_nic_drv build_components drivers/nic
lappend_if $use_atapi_drv build_components drivers/atapi
lappend_if $use_sd_card_drv build_components drivers/sd_card
+lappend_if $use_platform_drv build_components drivers/platform
build $build_components
create_boot_directory
@@ -160,6 +162,14 @@ append_if [expr ![have_spec acpi] && [have_spec pci]] config {
}
+append_if $use_platform_drv config {
+
+
+
+
+
+ }
+
append_if $use_usb_drv config {
@@ -238,6 +248,7 @@ lappend_if $use_usb_drv boot_modules usb_drv
lappend_if $use_nic_drv boot_modules nic_drv
lappend_if $use_atapi_drv boot_modules atapi_drv
lappend_if $use_sd_card_drv boot_modules sd_card_drv
+lappend_if $use_platform_drv boot_modules platform_drv
if {[have_spec x86]} {
set initrd_uri "http://genode.org/files/release-11.11/l4lx/root-ia32-ginger.gz"
diff --git a/ports-foc/run/l4linux.run b/ports-foc/run/l4linux.run
index ea5a13b7d..40e41e729 100644
--- a/ports-foc/run/l4linux.run
+++ b/ports-foc/run/l4linux.run
@@ -11,14 +11,16 @@ set build_components {
drivers/framebuffer
l4linux }
-set use_usb_driver [expr [have_spec omap4] || [have_spec exynos5]]
-set use_nic_driver [expr !$use_usb_driver && [expr [have_spec lan9118] || [have_spec x86]]]
+set use_usb_driver [expr [have_spec omap4] || [have_spec exynos5]]
+set use_nic_driver [expr !$use_usb_driver && [expr [have_spec lan9118] || [have_spec x86]]]
+set use_platform_drv [expr [have_spec platform_arndale] || [have_spec platform_imx53]]
lappend_if $use_usb_driver build_components drivers/usb
lappend_if $use_nic_driver build_components drivers/nic
lappend_if [have_spec pci] build_components drivers/pci
lappend_if [have_spec acpi] build_components drivers/acpi
lappend_if [have_spec ps2] build_components drivers/input/ps2
+lappend_if $use_platform_drv build_components drivers/platform
build $build_components
create_boot_directory
@@ -89,6 +91,14 @@ append_if [have_spec ps2] config {
}
+append_if $use_platform_drv config {
+
+
+
+
+
+ }
+
append_if $use_usb_driver config {
@@ -134,6 +144,7 @@ lappend_if [have_spec ps2] boot_modules ps2_drv
lappend_if [have_spec framebuffer] boot_modules fb_drv
lappend_if $use_nic_driver boot_modules nic_drv
lappend_if $use_usb_driver boot_modules usb_drv
+lappend_if $use_platform_drv boot_modules platform_drv
if {[have_spec x86]} {
set uri "http://genode.org/files/release-11.11/l4lx/initrd-ia32.gz"
diff --git a/ports-foc/run/l4linux_netperf.run b/ports-foc/run/l4linux_netperf.run
index 721199ce9..d6d06bc53 100644
--- a/ports-foc/run/l4linux_netperf.run
+++ b/ports-foc/run/l4linux_netperf.run
@@ -1,5 +1,4 @@
-assert_spec foc
-assert_spec arm
+assert_spec foc_arndale
set use_nic_bridge 0
diff --git a/ports/run/noux_net_netcat.run b/ports/run/noux_net_netcat.run
index 2de39dedc..cdc5121ff 100644
--- a/ports/run/noux_net_netcat.run
+++ b/ports/run/noux_net_netcat.run
@@ -12,14 +12,16 @@ set build_components {
noux-pkg/netcat
}
-set use_usb_driver [expr [have_spec omap4] || [have_spec exynos5]]
-set use_nic_driver [expr !$use_usb_driver]
+set use_usb_driver [expr [have_spec omap4] || [have_spec exynos5]]
+set use_nic_driver [expr !$use_usb_driver]
+set use_platform_drv [expr [have_spec platform_arndale] || [have_spec platform_imx53]]
lappend_if $use_usb_driver build_components drivers/usb
lappend_if $use_nic_driver build_components drivers/nic
lappend_if [have_spec acpi] build_components drivers/acpi
lappend_if [have_spec pci] build_components drivers/pci/device_pd
lappend_if [is_qemu_available] build_components drivers/uart
+lappend_if $use_platform_drv build_components drivers/platform
build $build_components
@@ -102,6 +104,14 @@ append_if $use_nic_driver config {
}
+append_if $use_platform_drv config {
+
+
+
+
+
+ }
+
append_if $use_usb_driver config {
@@ -177,6 +187,7 @@ lappend_if [have_spec pci] boot_modules pci_drv
lappend_if [have_spec acpi] boot_modules acpi_drv
lappend_if [have_spec nova] boot_modules pci_device_pd
lappend_if [is_qemu_available] boot_modules uart_drv
+lappend_if $use_platform_drv boot_modules platform_drv
build_boot_image $boot_modules