diff --git a/repos/base-foc/ports/foc.hash b/repos/base-foc/ports/foc.hash
index a63d39ace0..e2947d29c1 100644
--- a/repos/base-foc/ports/foc.hash
+++ b/repos/base-foc/ports/foc.hash
@@ -1 +1 @@
-ce2d3e9f54b383ef2368e4cd285b0b48b0424f63
+2e8cbb44d4c009238d96b66a9fc085e038f22e61
diff --git a/repos/base-foc/ports/foc.port b/repos/base-foc/ports/foc.port
index b6efcfcddc..81496991b2 100644
--- a/repos/base-foc/ports/foc.port
+++ b/repos/base-foc/ports/foc.port
@@ -37,3 +37,5 @@ PATCH_OPT(patches/0014-Always-enable-user-mode-access-for-performance-monit.patc
 PATCH_OPT(patches/0015-VMX-disable-event-injection-if-requested-by-VMM.patch)     := -p3 -d${DIR(foc)}
 PATCH_OPT(patches/0016-svm-provide-cr0-to-guest-if-np-enabled.patch)              := -p3 -d${DIR(foc)}
 PATCH_OPT(patches/0017-svm-avoid-forceful-exit-on-task-switch.patch)              := -p3 -d${DIR(foc)}
+
+$(call check_tool,gawk)
diff --git a/repos/base-sel4/ports/sel4_tools.hash b/repos/base-sel4/ports/sel4_tools.hash
index 9674e46913..cb62a3f6b4 100644
--- a/repos/base-sel4/ports/sel4_tools.hash
+++ b/repos/base-sel4/ports/sel4_tools.hash
@@ -1 +1 @@
-4ee1b92defa12f61ad427c341e7f046324319e90
+78557e468a0afa132d2ed90b54c0c8f38686240c
diff --git a/repos/base-sel4/ports/sel4_tools.port b/repos/base-sel4/ports/sel4_tools.port
index a93994ab52..17c2bc1782 100644
--- a/repos/base-sel4/ports/sel4_tools.port
+++ b/repos/base-sel4/ports/sel4_tools.port
@@ -8,3 +8,4 @@ REV(sel4_tools) := 3839bb9740f8f13266de4273774004634388a2f7
 DIR(sel4_tools) := src/tool/sel4_tools
 
 $(call check_tool,python)
+$(call check_tool,cpio)