diff --git a/repos/gems/run/http_blk.run b/repos/gems/run/http_blk.run
index 70b6c42f57..ac1c75fda2 100644
--- a/repos/gems/run/http_blk.run
+++ b/repos/gems/run/http_blk.run
@@ -4,9 +4,9 @@
 # \date   2013-11-29
 #
 
-set use_usb_driver      [expr [have_spec omap4] || [have_spec exynos5]]
+set use_usb_driver      [expr [have_spec omap4] || [have_spec exynos5] || [have_spec platform_rpi]]
 set use_nic_driver      [expr !$use_usb_driver && ![have_spec platform_imx53]]
-set use_platform_driver [expr [have_spec platform_arndale] || [have_spec platform_imx53]]
+set use_platform_driver [expr [have_spec platform_arndale] || [have_spec platform_imx53] || [have_spec platform_rpi]]
 
 if {[expr !$use_usb_driver && !$use_nic_driver]} {
 	puts "\n Run script is not supported on this platform. \n"; exit 0 }
@@ -63,6 +63,7 @@ append_if $use_platform_driver config {
 	<start name="platform_drv">
 		<resource name="RAM" quantum="1M" />
 		<provides><service name="Regulator"/></provides>
+		<provides><service name="Platform"/></provides>
 	</start>}
 
 append_if [have_spec gpio] config {
diff --git a/repos/ports/run/genode_org.run b/repos/ports/run/genode_org.run
index ef63dcfa54..35d49439b8 100644
--- a/repos/ports/run/genode_org.run
+++ b/repos/ports/run/genode_org.run
@@ -15,9 +15,10 @@ set build_components {
 	app/lighttpd
 }
 
-set use_usb_driver      [expr [have_spec omap4] || [have_spec exynos5]]
+set use_usb_driver      [expr [have_spec omap4] || [have_spec exynos5] || [have_spec platform_rpi]]
 set use_nic_driver      [expr !$use_usb_driver]
-set use_platform_driver [expr $use_usb_driver && [have_spec foc_arndale]]
+set use_platform_driver [expr [have_spec platform_arndale] || [have_spec platform_imx53] || [have_spec platform_rpi]]
+
 if {$use_usb_driver}    { set network_driver "usb_drv" }
 if {$use_nic_driver}    { set network_driver "nic_drv" }
 
@@ -59,6 +60,7 @@ append_if $use_platform_driver config {
 	<start name="platform_drv">
 		<resource name="RAM" quantum="1M" />
 		<provides><service name="Regulator"/></provides>
+		<provides><service name="Platform"/></provides>
 	</start>}
 
 append_if [have_spec gpio] config {
diff --git a/repos/ports/run/noux_net_netcat.run b/repos/ports/run/noux_net_netcat.run
index 3484ac2524..7772baf34c 100644
--- a/repos/ports/run/noux_net_netcat.run
+++ b/repos/ports/run/noux_net_netcat.run
@@ -1,6 +1,6 @@
-set use_usb_driver   [expr [have_spec omap4] || [have_spec exynos5]]
+set use_usb_driver   [expr [have_spec omap4] || [have_spec exynos5] || [have_spec platform_rpi]]
 set use_nic_driver   [expr !$use_usb_driver && ![have_spec platform_imx53] && ![have_spec linux]]
-set use_platform_drv [expr [have_spec platform_arndale] || [have_spec platform_imx53]]
+set use_platform_drv [expr [have_spec platform_arndale] || [have_spec platform_imx53] || [have_spec platform_rpi]]
 
 if {[expr !$use_usb_driver && !$use_nic_driver]} {
 	puts "\n Run script is not supported on this platform. \n"; exit 0 }
@@ -111,6 +111,7 @@ append_if $use_platform_drv config {
 	<start name="platform_drv">
 		<resource name="RAM" quantum="1M"/>
 		<provides>
+			<service name="Platform"/>
 			<service name="Regulator"/>
 		</provides>
 	</start>}
diff --git a/repos/ports/run/noux_shell_script.run b/repos/ports/run/noux_shell_script.run
index 3b232d84ad..b2746ff608 100644
--- a/repos/ports/run/noux_shell_script.run
+++ b/repos/ports/run/noux_shell_script.run
@@ -5,7 +5,7 @@ set build_components {
 	test/libports/ncurses
 }
 set use_usb_input [expr ![have_spec ps2] && ![have_spec sdl] && [have_spec usb]]
-set use_platform_driver [expr [have_spec platform_arndale] || [have_spec platform_imx53]]
+set use_platform_driver [expr [have_spec platform_arndale] || [have_spec platform_imx53] || [have_spec platform_rpi]]
 
 lappend_if $use_usb_input       build_components drivers/usb
 lappend_if $use_platform_driver build_components drivers/platform
@@ -94,6 +94,7 @@ append_if $use_platform_driver config {
 	<start name="platform_drv">
 		<resource name="RAM" quantum="1M"/>
 		<provides><service name="Regulator"/></provides>
+		<provides><service name="Platform"/></provides>
 	</start>}
 
 append config {
diff --git a/repos/ports/run/noux_tool_chain.inc b/repos/ports/run/noux_tool_chain.inc
index e2c9c2f225..346bfd4a71 100644
--- a/repos/ports/run/noux_tool_chain.inc
+++ b/repos/ports/run/noux_tool_chain.inc
@@ -16,7 +16,7 @@ if {[have_spec linux]} {
 	exit 0
 }
 
-set use_platform_driver [expr [have_spec platform_arndale] || [have_spec platform_imx53]]
+set use_platform_driver [expr [have_spec platform_arndale] || [have_spec platform_imx53] || [have_spec platform_rpi]]
 set use_usb_input [expr ![have_spec ps2] && ![have_spec sdl] && [have_spec usb]]
 
 set build_components {
@@ -120,6 +120,7 @@ append_if $use_platform_driver config {
 		<start name="platform_drv">
 			<resource name="RAM" quantum="1M" />
 			<provides><service name="Regulator"/></provides>
+			<provides><service name="Platform"/></provides>
 		</start>}
 
 append_if [have_spec sdl] config {
diff --git a/repos/qt4/run/textedit.run b/repos/qt4/run/textedit.run
index b1c6395615..3363e7b69d 100644
--- a/repos/qt4/run/textedit.run
+++ b/repos/qt4/run/textedit.run
@@ -12,7 +12,7 @@ set build_components {
 }
 
 set use_sd_card_driver [expr [have_spec omap4] || [have_spec exynos5]]
-set use_usb_driver     [expr [have_spec omap4] || [have_spec exynos5]]
+set use_usb_driver     [expr [have_spec omap4] || [have_spec exynos5] || [have_spec platform_rpi]]
 
 lappend_if $use_sd_card_driver build_components drivers/sd_card
 lappend_if $use_usb_driver     build_components drivers/usb