diff --git a/hacking/cargo-manifest-sources/crate.nix b/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crate.nix
rename to Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/crate.nix b/crates/examples/microkit/banscii/pds/artist/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/crate.nix
rename to crates/examples/microkit/banscii/pds/artist/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/interface-types/crate.nix b/crates/examples/microkit/banscii/pds/artist/interface-types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/interface-types/crate.nix
rename to crates/examples/microkit/banscii/pds/artist/interface-types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/crate.nix b/crates/examples/microkit/banscii/pds/assistant/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/crate.nix
rename to crates/examples/microkit/banscii/pds/assistant/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/crate.nix b/crates/examples/microkit/banscii/pds/assistant/core/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/crate.nix
rename to crates/examples/microkit/banscii/pds/assistant/core/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/test/crate.nix b/crates/examples/microkit/banscii/pds/assistant/core/test/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/test/crate.nix
rename to crates/examples/microkit/banscii/pds/assistant/core/test/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/crate.nix b/crates/examples/microkit/banscii/pds/pl011-driver/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/crate.nix
rename to crates/examples/microkit/banscii/pds/pl011-driver/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/core/crate.nix b/crates/examples/microkit/banscii/pds/pl011-driver/core/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/core/crate.nix
rename to crates/examples/microkit/banscii/pds/pl011-driver/core/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/crate.nix b/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/crate.nix
rename to crates/examples/microkit/banscii/pds/pl011-driver/interface-types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/hello/pds/hello/crate.nix b/crates/examples/microkit/hello/pds/hello/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/hello/pds/hello/crate.nix
rename to crates/examples/microkit/hello/pds/hello/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/helpers/virtio-hal-impl/crate.nix b/crates/examples/microkit/http-server/helpers/virtio-hal-impl/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/http-server/helpers/virtio-hal-impl/crate.nix
rename to crates/examples/microkit/http-server/helpers/virtio-hal-impl/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix b/crates/examples/microkit/http-server/pds/server/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix
rename to crates/examples/microkit/http-server/pds/server/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/core/crate.nix b/crates/examples/microkit/http-server/pds/server/core/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/core/crate.nix
rename to crates/examples/microkit/http-server/pds/server/core/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/crate.nix b/crates/examples/microkit/http-server/pds/sp804-driver/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/crate.nix
rename to crates/examples/microkit/http-server/pds/sp804-driver/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/core/crate.nix b/crates/examples/microkit/http-server/pds/sp804-driver/core/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/core/crate.nix
rename to crates/examples/microkit/http-server/pds/sp804-driver/core/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/interface-types/crate.nix b/crates/examples/microkit/http-server/pds/sp804-driver/interface-types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/interface-types/crate.nix
rename to crates/examples/microkit/http-server/pds/sp804-driver/interface-types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-blk-driver/crate.nix b/crates/examples/microkit/http-server/pds/virtio-blk-driver/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-blk-driver/crate.nix
rename to crates/examples/microkit/http-server/pds/virtio-blk-driver/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-blk-driver/interface-types/crate.nix b/crates/examples/microkit/http-server/pds/virtio-blk-driver/interface-types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-blk-driver/interface-types/crate.nix
rename to crates/examples/microkit/http-server/pds/virtio-blk-driver/interface-types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-net-driver/crate.nix b/crates/examples/microkit/http-server/pds/virtio-net-driver/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-net-driver/crate.nix
rename to crates/examples/microkit/http-server/pds/virtio-net-driver/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-net-driver/interface-types/crate.nix b/crates/examples/microkit/http-server/pds/virtio-net-driver/interface-types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-net-driver/interface-types/crate.nix
rename to crates/examples/microkit/http-server/pds/virtio-net-driver/interface-types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task-without-runtime/crate.nix b/crates/examples/root-task/example-root-task-without-runtime/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task-without-runtime/crate.nix
rename to crates/examples/root-task/example-root-task-without-runtime/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task/crate.nix b/crates/examples/root-task/example-root-task/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task/crate.nix
rename to crates/examples/root-task/example-root-task/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/examples/root-task/hello/crate.nix b/crates/examples/root-task/hello/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/examples/root-task/hello/crate.nix
rename to crates/examples/root-task/hello/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/meta/crate.nix b/crates/private/meta/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/meta/crate.nix
rename to crates/private/meta/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/support/cargo-helpers/crate.nix b/crates/private/support/cargo-helpers/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/support/cargo-helpers/crate.nix
rename to crates/private/support/cargo-helpers/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/config-types/crate.nix b/crates/private/support/sel4-simple-task/config-types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/config-types/crate.nix
rename to crates/private/support/sel4-simple-task/config-types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/rpc/crate.nix b/crates/private/support/sel4-simple-task/rpc/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/rpc/crate.nix
rename to crates/private/support/sel4-simple-task/rpc/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/crate.nix b/crates/private/support/sel4-simple-task/runtime/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/crate.nix
rename to crates/private/support/sel4-simple-task/runtime/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/cli/crate.nix b/crates/private/support/sel4-simple-task/runtime/config/cli/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/cli/crate.nix
rename to crates/private/support/sel4-simple-task/runtime/config/cli/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/types/crate.nix b/crates/private/support/sel4-simple-task/runtime/config/types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/types/crate.nix
rename to crates/private/support/sel4-simple-task/runtime/config/types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/macros/crate.nix b/crates/private/support/sel4-simple-task/runtime/macros/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/macros/crate.nix
rename to crates/private/support/sel4-simple-task/runtime/macros/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/threading/crate.nix b/crates/private/support/sel4-simple-task/threading/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/threading/crate.nix
rename to crates/private/support/sel4-simple-task/threading/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/capdl/threads/components/test/crate.nix b/crates/private/tests/capdl/threads/components/test/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/tests/capdl/threads/components/test/crate.nix
rename to crates/private/tests/capdl/threads/components/test/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/capdl/utcover/components/test/crate.nix b/crates/private/tests/capdl/utcover/components/test/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/tests/capdl/utcover/components/test/crate.nix
rename to crates/private/tests/capdl/utcover/components/test/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/crate.nix b/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/crate.nix
rename to crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/crate.nix b/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/crate.nix
rename to crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/backtrace/crate.nix b/crates/private/tests/root-task/backtrace/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/tests/root-task/backtrace/crate.nix
rename to crates/private/tests/root-task/backtrace/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/c/crate.nix b/crates/private/tests/root-task/c/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/tests/root-task/c/crate.nix
rename to crates/private/tests/root-task/c/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/config/crate.nix b/crates/private/tests/root-task/config/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/tests/root-task/config/crate.nix
rename to crates/private/tests/root-task/config/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/core-libs/crate.nix b/crates/private/tests/root-task/core-libs/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/tests/root-task/core-libs/crate.nix
rename to crates/private/tests/root-task/core-libs/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/loader/crate.nix b/crates/private/tests/root-task/loader/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/tests/root-task/loader/crate.nix
rename to crates/private/tests/root-task/loader/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/mbedtls/crate.nix b/crates/private/tests/root-task/mbedtls/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/tests/root-task/mbedtls/crate.nix
rename to crates/private/tests/root-task/mbedtls/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/panicking/crate.nix b/crates/private/tests/root-task/panicking/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/tests/root-task/panicking/crate.nix
rename to crates/private/tests/root-task/panicking/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/tls/crate.nix b/crates/private/tests/root-task/tls/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/private/tests/root-task/tls/crate.nix
rename to crates/private/tests/root-task/tls/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/block-io/crate.nix b/crates/sel4-async/block-io/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-async/block-io/crate.nix
rename to crates/sel4-async/block-io/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/block-io/cpiofs/crate.nix b/crates/sel4-async/block-io/cpiofs/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-async/block-io/cpiofs/crate.nix
rename to crates/sel4-async/block-io/cpiofs/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/block-io/fat/crate.nix b/crates/sel4-async/block-io/fat/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-async/block-io/fat/crate.nix
rename to crates/sel4-async/block-io/fat/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/network/crate.nix b/crates/sel4-async/network/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-async/network/crate.nix
rename to crates/sel4-async/network/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/crate.nix b/crates/sel4-async/network/mbedtls/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/crate.nix
rename to crates/sel4-async/network/mbedtls/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/mozilla-ca-list/crate.nix b/crates/sel4-async/network/mbedtls/mozilla-ca-list/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/mozilla-ca-list/crate.nix
rename to crates/sel4-async/network/mbedtls/mozilla-ca-list/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/single-threaded-executor/crate.nix b/crates/sel4-async/single-threaded-executor/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-async/single-threaded-executor/crate.nix
rename to crates/sel4-async/single-threaded-executor/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/time/crate.nix b/crates/sel4-async/time/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-async/time/crate.nix
rename to crates/sel4-async/time/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/unsync/crate.nix b/crates/sel4-async/unsync/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-async/unsync/crate.nix
rename to crates/sel4-async/unsync/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix b/crates/sel4-backtrace/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix
rename to crates/sel4-backtrace/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/addr2line-context-helper/crate.nix b/crates/sel4-backtrace/addr2line-context-helper/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-backtrace/addr2line-context-helper/crate.nix
rename to crates/sel4-backtrace/addr2line-context-helper/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix b/crates/sel4-backtrace/cli/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix
rename to crates/sel4-backtrace/cli/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/crate.nix b/crates/sel4-backtrace/embedded-debug-info/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/crate.nix
rename to crates/sel4-backtrace/embedded-debug-info/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/cli/crate.nix b/crates/sel4-backtrace/embedded-debug-info/cli/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/cli/crate.nix
rename to crates/sel4-backtrace/embedded-debug-info/cli/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/simple/crate.nix b/crates/sel4-backtrace/simple/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-backtrace/simple/crate.nix
rename to crates/sel4-backtrace/simple/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/types/crate.nix b/crates/sel4-backtrace/types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-backtrace/types/crate.nix
rename to crates/sel4-backtrace/types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-bounce-buffer-allocator/crate.nix b/crates/sel4-bounce-buffer-allocator/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-bounce-buffer-allocator/crate.nix
rename to crates/sel4-bounce-buffer-allocator/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/crate.nix b/crates/sel4-capdl-initializer/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/crate.nix
rename to crates/sel4-capdl-initializer/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/add-spec/crate.nix b/crates/sel4-capdl-initializer/add-spec/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/add-spec/crate.nix
rename to crates/sel4-capdl-initializer/add-spec/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/core/crate.nix b/crates/sel4-capdl-initializer/core/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/core/crate.nix
rename to crates/sel4-capdl-initializer/core/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/embed-spec/crate.nix b/crates/sel4-capdl-initializer/embed-spec/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/embed-spec/crate.nix
rename to crates/sel4-capdl-initializer/embed-spec/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/crate.nix b/crates/sel4-capdl-initializer/types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/crate.nix
rename to crates/sel4-capdl-initializer/types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/derive/crate.nix b/crates/sel4-capdl-initializer/types/derive/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/derive/crate.nix
rename to crates/sel4-capdl-initializer/types/derive/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/crate.nix b/crates/sel4-capdl-initializer/with-embedded-spec/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/crate.nix
rename to crates/sel4-capdl-initializer/with-embedded-spec/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/build-env/crate.nix b/crates/sel4-capdl-initializer/with-embedded-spec/build-env/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/build-env/crate.nix
rename to crates/sel4-capdl-initializer/with-embedded-spec/build-env/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/crate.nix b/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/crate.nix
rename to crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/crate.nix b/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/crate.nix
rename to crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix b/crates/sel4-dlmalloc/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix
rename to crates/sel4-dlmalloc/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-externally-shared/crate.nix b/crates/sel4-externally-shared/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-externally-shared/crate.nix
rename to crates/sel4-externally-shared/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-generate-target-specs/crate.nix b/crates/sel4-generate-target-specs/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-generate-target-specs/crate.nix
rename to crates/sel4-generate-target-specs/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-immediate-sync-once-cell/crate.nix b/crates/sel4-immediate-sync-once-cell/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-immediate-sync-once-cell/crate.nix
rename to crates/sel4-immediate-sync-once-cell/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-immutable-cell/crate.nix b/crates/sel4-immutable-cell/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-immutable-cell/crate.nix
rename to crates/sel4-immutable-cell/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-initialize-tls-on-stack/crate.nix b/crates/sel4-initialize-tls-on-stack/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-initialize-tls-on-stack/crate.nix
rename to crates/sel4-initialize-tls-on-stack/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix b/crates/sel4-kernel-loader/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix
rename to crates/sel4-kernel-loader/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/add-payload/crate.nix b/crates/sel4-kernel-loader/add-payload/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-kernel-loader/add-payload/crate.nix
rename to crates/sel4-kernel-loader/add-payload/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/config-types/crate.nix b/crates/sel4-kernel-loader/config-types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-kernel-loader/config-types/crate.nix
rename to crates/sel4-kernel-loader/config-types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/crate.nix b/crates/sel4-kernel-loader/embed-page-tables/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/crate.nix
rename to crates/sel4-kernel-loader/embed-page-tables/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/runtime/crate.nix b/crates/sel4-kernel-loader/embed-page-tables/runtime/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/runtime/crate.nix
rename to crates/sel4-kernel-loader/embed-page-tables/runtime/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/payload-types/crate.nix b/crates/sel4-kernel-loader/payload-types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-kernel-loader/payload-types/crate.nix
rename to crates/sel4-kernel-loader/payload-types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix b/crates/sel4-logging/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix
rename to crates/sel4-logging/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix b/crates/sel4-microkit/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix
rename to crates/sel4-microkit/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-microkit/macros/crate.nix b/crates/sel4-microkit/macros/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-microkit/macros/crate.nix
rename to crates/sel4-microkit/macros/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-microkit/message/crate.nix b/crates/sel4-microkit/message/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-microkit/message/crate.nix
rename to crates/sel4-microkit/message/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-microkit/message/types/crate.nix b/crates/sel4-microkit/message/types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-microkit/message/types/crate.nix
rename to crates/sel4-microkit/message/types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix b/crates/sel4-newlib/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix
rename to crates/sel4-newlib/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-one-ref-cell/crate.nix b/crates/sel4-one-ref-cell/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-one-ref-cell/crate.nix
rename to crates/sel4-one-ref-cell/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix b/crates/sel4-panicking/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix
rename to crates/sel4-panicking/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-panicking/env/crate.nix b/crates/sel4-panicking/env/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-panicking/env/crate.nix
rename to crates/sel4-panicking/env/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-platform-info/crate.nix b/crates/sel4-platform-info/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-platform-info/crate.nix
rename to crates/sel4-platform-info/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-platform-info/types/crate.nix b/crates/sel4-platform-info/types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-platform-info/types/crate.nix
rename to crates/sel4-platform-info/types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-render-elf-with-data/crate.nix b/crates/sel4-render-elf-with-data/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-render-elf-with-data/crate.nix
rename to crates/sel4-render-elf-with-data/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix b/crates/sel4-root-task/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix
rename to crates/sel4-root-task/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-root-task/macros/crate.nix b/crates/sel4-root-task/macros/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-root-task/macros/crate.nix
rename to crates/sel4-root-task/macros/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-runtime-common/crate.nix b/crates/sel4-runtime-common/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-runtime-common/crate.nix
rename to crates/sel4-runtime-common/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-rustfmt-helper/crate.nix b/crates/sel4-rustfmt-helper/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-rustfmt-helper/crate.nix
rename to crates/sel4-rustfmt-helper/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/crate.nix b/crates/sel4-shared-ring-buffer/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/crate.nix
rename to crates/sel4-shared-ring-buffer/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/block-io/crate.nix b/crates/sel4-shared-ring-buffer/block-io/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/block-io/crate.nix
rename to crates/sel4-shared-ring-buffer/block-io/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/block-io/types/crate.nix b/crates/sel4-shared-ring-buffer/block-io/types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/block-io/types/crate.nix
rename to crates/sel4-shared-ring-buffer/block-io/types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/bookkeeping/crate.nix b/crates/sel4-shared-ring-buffer/bookkeeping/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/bookkeeping/crate.nix
rename to crates/sel4-shared-ring-buffer/bookkeeping/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/smoltcp/crate.nix b/crates/sel4-shared-ring-buffer/smoltcp/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/smoltcp/crate.nix
rename to crates/sel4-shared-ring-buffer/smoltcp/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix b/crates/sel4-sync/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix
rename to crates/sel4-sync/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4/crate.nix b/crates/sel4/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4/crate.nix
rename to crates/sel4/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4/bitfield-ops/crate.nix b/crates/sel4/bitfield-ops/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4/bitfield-ops/crate.nix
rename to crates/sel4/bitfield-ops/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/crate.nix b/crates/sel4/bitfield-parser/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/crate.nix
rename to crates/sel4/bitfield-parser/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/test/crate.nix b/crates/sel4/bitfield-parser/test/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/test/crate.nix
rename to crates/sel4/bitfield-parser/test/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix b/crates/sel4/build-env/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix
rename to crates/sel4/build-env/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/crate.nix b/crates/sel4/config/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4/config/crate.nix
rename to crates/sel4/config/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/data/crate.nix b/crates/sel4/config/data/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4/config/data/crate.nix
rename to crates/sel4/config/data/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/generic/macro-impls/crate.nix b/crates/sel4/config/generic/macro-impls/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4/config/generic/macro-impls/crate.nix
rename to crates/sel4/config/generic/macro-impls/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/generic/types/crate.nix b/crates/sel4/config/generic/types/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4/config/generic/types/crate.nix
rename to crates/sel4/config/generic/types/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/macros/crate.nix b/crates/sel4/config/macros/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4/config/macros/crate.nix
rename to crates/sel4/config/macros/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix b/crates/sel4/sys/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix
rename to crates/sel4/sys/Cargo.nix
diff --git a/hacking/cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix b/crates/sel4/sys/wrappers/Cargo.nix
similarity index 100%
rename from hacking/cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix
rename to crates/sel4/sys/wrappers/Cargo.nix