diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/crate.nix
index e909aea9b..bf259e689 100644
--- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/crate.nix
@@ -16,7 +16,4 @@ mk {
     sel4-externally-shared
     banscii-artist-interface-types
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
-  nix.meta.skip = true;
 }
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/interface-types/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/interface-types/crate.nix
index 3b35343a2..94694bb18 100644
--- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/interface-types/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/interface-types/crate.nix
@@ -8,7 +8,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     # sel4-microkit-message
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
-  nix.meta.skip = true;
 }
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/crate.nix
index 2cfd50dbd..07e21ef36 100644
--- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/crate.nix
@@ -7,5 +7,4 @@ mk {
     libm = { version = "0.2.1"; default-features = false; };
     inherit (versions) log;
   };
-  nix.meta.skip = true;
 }
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/test/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/test/crate.nix
index e5a017208..1f5679196 100644
--- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/test/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/test/crate.nix
@@ -9,7 +9,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     banscii-assistant-core
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "unix" ];
-  nix.meta.skip = true;
 }
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/crate.nix
index 4585ed090..1b4a6b430 100644
--- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/crate.nix
@@ -15,7 +15,4 @@ mk {
     hex = { version = "0.4.3"; default-features = false; features = [ "alloc" ]; };
     sel4-externally-shared.features = [ "unstable" "alloc" ];
   };
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
-  nix.meta.skip = true;
 }
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/crate.nix
index 893fd7c12..3c07a3d45 100644
--- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/crate.nix
@@ -12,7 +12,4 @@ mk {
     banscii-pl011-driver-core
     banscii-pl011-driver-interface-types
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
-  nix.meta.skip = true;
 }
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/crate.nix
index 8318f23e1..84c9a50b8 100644
--- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/crate.nix
@@ -8,7 +8,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     # sel4-microkit-message
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
-  nix.meta.skip = true;
 }
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/hello/pds/hello/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/hello/pds/hello/crate.nix
index c1b5bcf2e..2d667b2c7 100644
--- a/hacking/cargo-manifest-sources/crates/examples/microkit/hello/pds/hello/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/examples/microkit/hello/pds/hello/crate.nix
@@ -5,7 +5,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4-microkit
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
-  nix.meta.skip = true;
 }
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix
index 2eabc58e8..16e02e8a7 100644
--- a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix
@@ -59,6 +59,4 @@ mk {
     microkit-http-server-example-sp804-driver-interface-types
     microkit-http-server-example-virtio-net-driver-interface-types
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/crate.nix
index 24df04d38..7df42928e 100644
--- a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/crate.nix
@@ -11,6 +11,4 @@ mk {
     microkit-http-server-example-sp804-driver-core
     microkit-http-server-example-sp804-driver-interface-types
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task-without-runtime/crate.nix b/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task-without-runtime/crate.nix
index 614bcbd4e..c3ceb7498 100644
--- a/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task-without-runtime/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task-without-runtime/crate.nix
@@ -9,6 +9,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task/crate.nix b/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task/crate.nix
index a9c4ec151..eb731c145 100644
--- a/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task/crate.nix
@@ -6,6 +6,4 @@ mk {
     sel4
     sel4-root-task
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/examples/root-task/hello/crate.nix b/hacking/cargo-manifest-sources/crates/examples/root-task/hello/crate.nix
index d82f93177..7e2a2f0e4 100644
--- a/hacking/cargo-manifest-sources/crates/examples/root-task/hello/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/examples/root-task/hello/crate.nix
@@ -6,6 +6,4 @@ mk {
     sel4
     sel4-root-task
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/meta/crate.nix b/hacking/cargo-manifest-sources/crates/private/meta/crate.nix
index 92c7a65d3..0e1743d01 100644
--- a/hacking/cargo-manifest-sources/crates/private/meta/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/meta/crate.nix
@@ -60,5 +60,4 @@ mk {
       "sel4-microkit-message-types"
     ];
   };
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/support/cargo-helpers/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/cargo-helpers/crate.nix
index 85725c053..bf54cb022 100644
--- a/hacking/cargo-manifest-sources/crates/private/support/cargo-helpers/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/support/cargo-helpers/crate.nix
@@ -7,6 +7,4 @@ mk {
     cargo = "0.70.1";
     clap = "3.2.23";
   };
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "unix" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/rpc/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/rpc/crate.nix
index 6636a7a22..486fac9a1 100644
--- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/rpc/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/rpc/crate.nix
@@ -15,5 +15,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4
   ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/cli/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/cli/crate.nix
index 92cfe0e1a..58b15c06b 100644
--- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/cli/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/cli/crate.nix
@@ -9,6 +9,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4-simple-task-runtime-config-types
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "unix" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/crate.nix
index ab8b2b93f..5ed7eec9c 100644
--- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/crate.nix
@@ -39,5 +39,4 @@ mk {
     sel4-simple-task-threading
     sel4-sync
   ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/macros/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/macros/crate.nix
index 4ed7f1cd0..d9503c6f3 100644
--- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/macros/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/macros/crate.nix
@@ -7,5 +7,4 @@ mk {
     inherit (versions) proc-macro2 quote;
     syn = { version = versions.syn; features = [ "full" ]; };
   };
-  nix.meta.requirements = [ "linux" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/threading/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/threading/crate.nix
index 311604c50..073dd5a09 100644
--- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/threading/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/threading/crate.nix
@@ -9,5 +9,4 @@ mk {
   features = {
     alloc = [];
   };
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/capdl/threads/components/test/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/capdl/threads/components/test/crate.nix
index bb0a82e08..2a9834681 100644
--- a/hacking/cargo-manifest-sources/crates/private/tests/capdl/threads/components/test/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/tests/capdl/threads/components/test/crate.nix
@@ -11,6 +11,4 @@ mk {
     sel4-simple-task-runtime
     sel4-simple-task-config-types
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/capdl/utcover/components/test/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/capdl/utcover/components/test/crate.nix
index 437c8a920..3b218483a 100644
--- a/hacking/cargo-manifest-sources/crates/private/tests/capdl/utcover/components/test/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/tests/capdl/utcover/components/test/crate.nix
@@ -11,6 +11,4 @@ mk {
   dependencies = {
     serde = serdeWith [ "alloc" "derive" ];
   };
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/crate.nix
index ca63d4dc3..191630d2d 100644
--- a/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/crate.nix
@@ -5,7 +5,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4-microkit
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
-  nix.meta.skip = true;
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/crate.nix
index 81ab7144d..d8a1bba1f 100644
--- a/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/crate.nix
@@ -5,7 +5,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4-microkit
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
-  nix.meta.skip = true;
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/backtrace/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/backtrace/crate.nix
index 8b96430aa..85795ec25 100644
--- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/backtrace/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/backtrace/crate.nix
@@ -16,6 +16,4 @@ mk {
     sel4-backtrace-embedded-debug-info
     sel4-root-task
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/c/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/c/crate.nix
index d7fc9a35d..06fb2761e 100644
--- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/c/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/c/crate.nix
@@ -12,7 +12,4 @@ mk {
     sel4-async-network-mbedtls
     sel4-newlib
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
-  nix.meta.skip = true;
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/config/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/config/crate.nix
index aead170d4..d92d0d7dd 100644
--- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/config/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/config/crate.nix
@@ -6,6 +6,4 @@ mk {
     sel4
     sel4-root-task
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/core-libs/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/core-libs/crate.nix
index 993fd8195..f80dee9aa 100644
--- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/core-libs/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/core-libs/crate.nix
@@ -8,6 +8,4 @@ mk {
     sel4-config
     sel4
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/loader/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/loader/crate.nix
index a88573ff9..62bda97f8 100644
--- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/loader/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/loader/crate.nix
@@ -10,6 +10,4 @@ mk {
     sel4-root-task
     sel4-platform-info
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/mbedtls/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/mbedtls/crate.nix
index 8f074f6af..08e1ac3a9 100644
--- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/mbedtls/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/mbedtls/crate.nix
@@ -28,6 +28,4 @@ mk {
       ];
     };
   };
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/panicking/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/panicking/crate.nix
index 3d6340bff..f99ebbc17 100644
--- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/panicking/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/panicking/crate.nix
@@ -14,6 +14,4 @@ mk {
     sel4
     sel4-root-task
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/tls/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/tls/crate.nix
index c4d8fbafb..065c394cc 100644
--- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/tls/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/tls/crate.nix
@@ -6,6 +6,4 @@ mk {
     sel4
     sel4-root-task
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/crate.nix
index 741af7a60..058a4d6a1 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/crate.nix
@@ -25,6 +25,4 @@ mk {
     sel4-async-network-mbedtls-mozilla-ca-list
     # mbedtls
   ];
-  nix.meta.requirements = [ "sel4" ];
-  nix.meta.skip = true;
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix
index c07616e43..0bd493ae1 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix
@@ -12,6 +12,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4-backtrace-types
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "unix" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix
index 272856963..5ca4f5dda 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix
@@ -29,5 +29,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4-backtrace-types
   ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/cli/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/cli/crate.nix
index da3d9a740..4f937c9b7 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/cli/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/cli/crate.nix
@@ -9,6 +9,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4-render-elf-with-data
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "unix" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/crate.nix
index 3f1fe7bc3..014baf1cb 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/crate.nix
@@ -9,5 +9,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4-backtrace-addr2line-context-helper
   ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/simple/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/simple/crate.nix
index af795fef6..c5424801e 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/simple/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/simple/crate.nix
@@ -14,5 +14,4 @@ mk {
     sel4-backtrace
     sel4-panicking-env
   ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/add-spec/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/add-spec/crate.nix
index 36b00a525..be7b7804d 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/add-spec/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/add-spec/crate.nix
@@ -18,6 +18,4 @@ mk {
     sel4-capdl-initializer-types
     sel4-render-elf-with-data
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "unix" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/core/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/core/crate.nix
index 1fcc33644..28a4897d0 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/core/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/core/crate.nix
@@ -10,5 +10,4 @@ mk {
     sel4-capdl-initializer-types.features = [ "sel4" ];
     inherit (versions) log;
   };
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/crate.nix
index 678a2e54c..05a86e210 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/crate.nix
@@ -22,6 +22,4 @@ mk {
     sel4-root-task
     sel4-sync
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" "capdl-spec" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/embed-spec/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/embed-spec/crate.nix
index a5ffdee91..5dc26354f 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/embed-spec/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/embed-spec/crate.nix
@@ -16,5 +16,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4-capdl-initializer-types
   ];
-  nix.meta.requirements = [ "linux" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/derive/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/derive/crate.nix
index 6e62686df..b89b26069 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/derive/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/derive/crate.nix
@@ -11,5 +11,4 @@ mk {
       synstructure
     ;
   };
-  nix.meta.requirements = [ "linux" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/build-env/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/build-env/crate.nix
index f0cb32987..6f2b7362b 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/build-env/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/build-env/crate.nix
@@ -10,5 +10,4 @@ mk {
     sel4-capdl-initializer-types.features = [ "std" "serde" ];
     inherit (versions) serde serde_json;
   };
-  nix.meta.requirements = [ "linux" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/crate.nix
index e4b6fff00..af7abc5d7 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/crate.nix
@@ -22,6 +22,4 @@ mk {
   nix.local.build-dependencies = with localCrates; [
     sel4-capdl-initializer-with-embedded-spec-embedded-spec-validate
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" "capdl-spec" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/crate.nix
index a67b1161f..b61f2b559 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/crate.nix
@@ -22,5 +22,4 @@ mk {
     sel4-capdl-initializer-types
     sel4-rustfmt-helper
   ];
-  nix.meta.requirements = [ "capdl-spec" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/crate.nix
index 7d6350d09..21a183b54 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/crate.nix
@@ -10,5 +10,4 @@ mk {
     sel4-capdl-initializer-with-embedded-spec-build-env
     sel4-capdl-initializer-with-embedded-spec-embedded-spec
   ];
-  nix.meta.requirements = [ "linux" "capdl-spec" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix
index 3cfcc82aa..b42534028 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix
@@ -8,5 +8,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4-sync
   ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-externally-shared/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-externally-shared/crate.nix
index 5934878d0..0b8d8471d 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-externally-shared/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-externally-shared/crate.nix
@@ -11,5 +11,4 @@ mk {
   dev-dependencies = {
     rand = "0.8.3";
   };
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-generate-target-specs/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-generate-target-specs/crate.nix
index d6164d62c..ade7bee49 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-generate-target-specs/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-generate-target-specs/crate.nix
@@ -6,7 +6,4 @@ mk {
     inherit (versions) serde_json;
     clap = "3.2.23";
   };
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "unix" ];
-  nix.meta.skip = true;
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-immediate-sync-once-cell/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-immediate-sync-once-cell/crate.nix
index 354bef505..efe6f6c39 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-immediate-sync-once-cell/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-immediate-sync-once-cell/crate.nix
@@ -2,5 +2,4 @@
 
 mk {
   package.name = "sel4-immediate-sync-once-cell";
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/add-payload/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/add-payload/crate.nix
index 75980ce7a..ebe431676 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/add-payload/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/add-payload/crate.nix
@@ -24,6 +24,4 @@ mk {
     sel4-render-elf-with-data
     sel4-config-generic-types
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "unix" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix
index 4d89dcd42..edc8a963b 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix
@@ -46,6 +46,4 @@ mk {
     sel4-kernel-loader-payload-types
     sel4-kernel-loader-embed-page-tables
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/crate.nix
index af174f38c..c1a1c3ea6 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/crate.nix
@@ -6,5 +6,4 @@ mk {
     inherit (versions) proc-macro2 quote;
     bitfield = "0.14";
   };
-  nix.meta.requirements = [ "linux" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix
index 7f8ac7857..fb26a507f 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix
@@ -5,5 +5,4 @@ mk {
   dependencies = {
     inherit (versions) log;
   };
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix
index e15952473..d0a2a9052 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix
@@ -32,6 +32,4 @@ mk {
     sel4-microkit-macros
     sel4-externally-shared
   ];
-  nix.meta.requirements = [ "sel4" ];
-  nix.meta.skip = true;
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-microkit/macros/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-microkit/macros/crate.nix
index cd58fdf88..66185235a 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-microkit/macros/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-microkit/macros/crate.nix
@@ -7,5 +7,4 @@ mk {
     syn = { version = versions.syn; features = [ "full" ]; };
     inherit (versions) proc-macro2 quote;
   };
-  nix.meta.requirements = [ "linux" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix
index 099707ab8..5ccd35898 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix
@@ -28,5 +28,4 @@ mk {
     sel4-panicking-env
     sel4-immediate-sync-once-cell
   ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix
index d9dd7ade3..fa9f0d68c 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix
@@ -13,5 +13,4 @@ mk {
     sel4-panicking-env
     sel4-immediate-sync-once-cell
   ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-panicking/env/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-panicking/env/crate.nix
index 5d186e2d2..4f0dfe3a5 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-panicking/env/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-panicking/env/crate.nix
@@ -2,5 +2,4 @@
 
 mk {
   package.name = "sel4-panicking-env";
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-platform-info/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-platform-info/crate.nix
index 0b3196e35..9c97e811c 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-platform-info/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-platform-info/crate.nix
@@ -13,5 +13,4 @@ mk {
     sel4-build-env
     sel4-config
   ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-render-elf-with-data/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-render-elf-with-data/crate.nix
index e72db93db..100e634f5 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-render-elf-with-data/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-render-elf-with-data/crate.nix
@@ -7,6 +7,4 @@ mk {
     clap = "3.2.23";
     inherit (versions) anyhow fallible-iterator num;
   };
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "unix" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix
index 4adf484d5..71699bc0c 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix
@@ -31,5 +31,4 @@ mk {
     sel4-runtime-common
     sel4-root-task-macros
   ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-root-task/macros/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-root-task/macros/crate.nix
index 4f8314e8c..c6f51002a 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-root-task/macros/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-root-task/macros/crate.nix
@@ -7,5 +7,4 @@ mk {
     syn = { version = versions.syn; features = [ "full" ]; };
     inherit (versions) proc-macro2 quote;
   };
-  nix.meta.requirements = [ "linux" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-runtime-common/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-runtime-common/crate.nix
index c3ca2c60c..34d0bd1f7 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-runtime-common/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-runtime-common/crate.nix
@@ -20,5 +20,4 @@ mk {
     sel4-dlmalloc
   ];
 
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-rustfmt-helper/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-rustfmt-helper/crate.nix
index 3394e7788..e1bf0ff0f 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-rustfmt-helper/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-rustfmt-helper/crate.nix
@@ -5,5 +5,4 @@ mk {
   dependencies = {
     which = "4.3.0";
   };
-  nix.meta.requirements = [ "linux" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix
index 3be15ca62..fe26d1bae 100644
--- a/hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix
@@ -6,5 +6,4 @@ mk {
     sel4
     sel4-immediate-sync-once-cell
   ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/crate.nix
index 0fcca1fe1..5e4c208df 100644
--- a/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/crate.nix
@@ -7,5 +7,4 @@ mk {
     pest = "2.4.1";
     pest_derive = pest;
   };
-  nix.meta.requirements = [ "linux" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/test/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/test/crate.nix
index d075f0cb2..feedd4856 100644
--- a/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/test/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/test/crate.nix
@@ -9,6 +9,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4-bitfield-parser
   ];
-  nix.meta.labels = [ "leaf" ];
-  nix.meta.requirements = [ "unix" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4/bitfield-types/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/bitfield-types/crate.nix
index 82f03a243..381bfe743 100644
--- a/hacking/cargo-manifest-sources/crates/sel4/bitfield-types/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4/bitfield-types/crate.nix
@@ -2,5 +2,4 @@
 
 mk {
   package.name = "sel4-bitfield-types";
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix
index 3e2fc912d..8a28c3f01 100644
--- a/hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix
@@ -2,5 +2,4 @@
 
 mk {
   package.name = "sel4-build-env";
-  nix.meta.requirements = [ "linux" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/config/crate.nix
index 65c27f3c4..1e9486bed 100644
--- a/hacking/cargo-manifest-sources/crates/sel4/config/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4/config/crate.nix
@@ -5,5 +5,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4-config-macros
   ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/data/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/config/data/crate.nix
index 4f20906ba..1330c4b3a 100644
--- a/hacking/cargo-manifest-sources/crates/sel4/config/data/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4/config/data/crate.nix
@@ -18,5 +18,4 @@ mk {
     sel4-config-generic-types
     sel4-build-env
   ];
-  nix.meta.requirements = [ "linux" "sel4-config" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/generic/macro-impls/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/config/generic/macro-impls/crate.nix
index 22c95eeff..6693ac59c 100644
--- a/hacking/cargo-manifest-sources/crates/sel4/config/generic/macro-impls/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4/config/generic/macro-impls/crate.nix
@@ -13,5 +13,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4-config-generic-types
   ];
-  nix.meta.requirements = [ "linux" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/macros/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/config/macros/crate.nix
index 22acfe725..2e62c895b 100644
--- a/hacking/cargo-manifest-sources/crates/sel4/config/macros/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4/config/macros/crate.nix
@@ -7,5 +7,4 @@ mk {
     sel4-config-generic-macro-impls
     sel4-config-data
   ];
-  nix.meta.requirements = [ "sel4-config" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/crate.nix
index 7bddeca9f..ba72bbb20 100644
--- a/hacking/cargo-manifest-sources/crates/sel4/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4/crate.nix
@@ -15,5 +15,4 @@ mk {
     sel4-config
     sel4-sys
   ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix
index ad40420dd..4533ac1c7 100644
--- a/hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix
@@ -29,5 +29,4 @@ mk {
     sel4-config
     sel4-config-data
   ];
-  nix.meta.requirements = [ "sel4" ];
 }
diff --git a/hacking/cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix
index 5aba3699b..da902b873 100644
--- a/hacking/cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix
+++ b/hacking/cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix
@@ -9,6 +9,4 @@ mk {
   nix.local.dependencies = with localCrates; [
     sel4-sys
   ];
-  nix.meta.requirements = [ "sel4" ];
-  nix.meta.skip = true; # HACK
 }
diff --git a/hacking/nix/cargo-manifest-generation-utils/default.nix b/hacking/nix/cargo-manifest-generation-utils/default.nix
index 002470aeb..9c524867e 100644
--- a/hacking/nix/cargo-manifest-generation-utils/default.nix
+++ b/hacking/nix/cargo-manifest-generation-utils/default.nix
@@ -70,17 +70,11 @@ rec {
           meta = elaborateMeta meta;
         };
 
+      # TODO
       elaborateMeta =
-        { labels ? {}
-        , requirements ? {}
-        , skip ? false
+        {
         }:
         {
-          inherit
-            labels
-            requirements
-            skip
-          ;
         };
 
     in