diff --git a/repos/os/run/ping.run b/repos/os/run/ping.run
index 3b03c799d..84bd32d1b 100644
--- a/repos/os/run/ping.run
+++ b/repos/os/run/ping.run
@@ -20,6 +20,12 @@ 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] ||
+    [expr [have_spec imx53] && [have_spec trustzone]]} {
+	puts "Run script is not supported on this platform."
+	exit 0
+}
+
 proc dst_ip { } {
 	if {![have_include power_on/qemu]} {
 		return "10.0.0.2"
diff --git a/repos/os/run/ping_nic_router.run b/repos/os/run/ping_nic_router.run
index 65db42133..98be02f24 100644
--- a/repos/os/run/ping_nic_router.run
+++ b/repos/os/run/ping_nic_router.run
@@ -20,6 +20,12 @@ 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] ||
+    [expr [have_spec imx53] && [have_spec trustzone]]} {
+	puts "Run script is not supported on this platform."
+	exit 0
+}
+
 proc good_dst_ip { } {
 	if {![have_include power_on/qemu]} {
 		return "10.0.0.2"