diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run
index 3c587af358..26ded8fd2a 100644
--- a/repos/gems/run/depot_autopilot.run
+++ b/repos/gems/run/depot_autopilot.run
@@ -660,7 +660,7 @@ set skip_test_pkg(test-lx_block)        [expr ![have_spec linux]]
 set skip_test_pkg(test-tcp_bulk_lwip)   [expr ![have_spec x86]]
 set skip_test_pkg(test-tcp_bulk_lxip)   [expr ![have_spec x86]]
 set skip_test_pkg(test-solo5)           [expr ![have_spec x86_64]]
-set skip_test_pkg(test-libc)            [expr [expr [have_spec pbxa9] && [have_spec foc]] || [expr [have_spec imx53] && [have_spec trustzone]]]
+set skip_test_pkg(test-libc)            [expr [have_spec sel4] || [have_spec rpi] || [expr [have_spec pbxa9] && [have_spec foc]] || [expr [have_spec imx53] && [have_spec trustzone]]]
 
 #
 # FIXME