diff --git a/repos/os/run/ping.run b/repos/os/run/ping.run
index 12abc1c111..7371a5e99c 100644
--- a/repos/os/run/ping.run
+++ b/repos/os/run/ping.run
@@ -20,7 +20,7 @@ proc gpio_drv { } { if {[have_spec rpi] && [have_spec hw]}  { return hw_gpio_drv
 
 lappend_if [have_spec gpio] build_components drivers/gpio
 
-if {[have_spec odroid_xu] ||
+if {[have_spec foc] || [have_spec odroid_xu] || [have_spec linux] ||
     [expr [have_spec imx53] && [have_spec trustzone]]} {
 	puts "Run script is not supported on this platform."
 	exit 0
diff --git a/repos/os/run/ping_nic_router.run b/repos/os/run/ping_nic_router.run
index bf3442dda2..4476b84af4 100644
--- a/repos/os/run/ping_nic_router.run
+++ b/repos/os/run/ping_nic_router.run
@@ -21,7 +21,7 @@ proc gpio_drv { } { if {[have_spec rpi] && [have_spec hw]}  { return hw_gpio_drv
 
 lappend_if [have_spec gpio] build_components drivers/gpio
 
-if {[have_spec odroid_xu] ||
+if {[have_spec foc] || [have_spec odroid_xu] ||
     [expr [have_spec imx53] && [have_spec trustzone]]} {
 	puts "Run script is not supported on this platform."
 	exit 0