Move each Cargo.nix to be adjacent to its corresponding Cargo.toml

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 24, 2023 · 7bd19a6 · 7bd19a6
1 parent 43c3b7f
commit 7bd19a6
Show file tree

Hide file tree

Showing 117 changed files with 0 additions and 0 deletions.
diff --git a/hacking/cargo-manifest-sources/crate.nix → Cargo.nix b/hacking/cargo-manifest-sources/crate.nix → Cargo.nix
diff --git a/...les/microkit/banscii/pds/artist/crate.nix → ...les/microkit/banscii/pds/artist/Cargo.nix b/...les/microkit/banscii/pds/artist/crate.nix → ...les/microkit/banscii/pds/artist/Cargo.nix
diff --git a/...scii/pds/artist/interface-types/crate.nix → ...scii/pds/artist/interface-types/Cargo.nix b/...scii/pds/artist/interface-types/crate.nix → ...scii/pds/artist/interface-types/Cargo.nix
diff --git a/.../microkit/banscii/pds/assistant/crate.nix → .../microkit/banscii/pds/assistant/Cargo.nix b/.../microkit/banscii/pds/assistant/crate.nix → .../microkit/banscii/pds/assistant/Cargo.nix
diff --git a/...okit/banscii/pds/assistant/core/crate.nix → ...okit/banscii/pds/assistant/core/Cargo.nix b/...okit/banscii/pds/assistant/core/crate.nix → ...okit/banscii/pds/assistant/core/Cargo.nix
diff --git a/...banscii/pds/assistant/core/test/crate.nix → ...banscii/pds/assistant/core/test/Cargo.nix b/...banscii/pds/assistant/core/test/crate.nix → ...banscii/pds/assistant/core/test/Cargo.nix
diff --git a/...crokit/banscii/pds/pl011-driver/crate.nix → ...crokit/banscii/pds/pl011-driver/Cargo.nix b/...crokit/banscii/pds/pl011-driver/crate.nix → ...crokit/banscii/pds/pl011-driver/Cargo.nix
diff --git a/...t/banscii/pds/pl011-driver/core/crate.nix → ...t/banscii/pds/pl011-driver/core/Cargo.nix b/...t/banscii/pds/pl011-driver/core/crate.nix → ...t/banscii/pds/pl011-driver/core/Cargo.nix
diff --git a/...ds/pl011-driver/interface-types/crate.nix → ...ds/pl011-driver/interface-types/Cargo.nix b/...ds/pl011-driver/interface-types/crate.nix → ...ds/pl011-driver/interface-types/Cargo.nix
diff --git a/...amples/microkit/hello/pds/hello/crate.nix → ...amples/microkit/hello/pds/hello/Cargo.nix b/...amples/microkit/hello/pds/hello/crate.nix → ...amples/microkit/hello/pds/hello/Cargo.nix
diff --git a/...-server/helpers/virtio-hal-impl/crate.nix → ...-server/helpers/virtio-hal-impl/Cargo.nix b/...-server/helpers/virtio-hal-impl/crate.nix → ...-server/helpers/virtio-hal-impl/Cargo.nix
diff --git a/...microkit/http-server/pds/server/crate.nix → ...microkit/http-server/pds/server/Cargo.nix b/...microkit/http-server/pds/server/crate.nix → ...microkit/http-server/pds/server/Cargo.nix
diff --git a/...kit/http-server/pds/server/core/crate.nix → ...kit/http-server/pds/server/core/Cargo.nix b/...kit/http-server/pds/server/core/crate.nix → ...kit/http-server/pds/server/core/Cargo.nix
diff --git a/...it/http-server/pds/sp804-driver/crate.nix → ...it/http-server/pds/sp804-driver/Cargo.nix b/...it/http-server/pds/sp804-driver/crate.nix → ...it/http-server/pds/sp804-driver/Cargo.nix
diff --git a/...tp-server/pds/sp804-driver/core/crate.nix → ...tp-server/pds/sp804-driver/core/Cargo.nix b/...tp-server/pds/sp804-driver/core/crate.nix → ...tp-server/pds/sp804-driver/core/Cargo.nix
diff --git a/...ds/sp804-driver/interface-types/crate.nix → ...ds/sp804-driver/interface-types/Cargo.nix b/...ds/sp804-driver/interface-types/crate.nix → ...ds/sp804-driver/interface-types/Cargo.nix
diff --git a/...tp-server/pds/virtio-blk-driver/crate.nix → ...tp-server/pds/virtio-blk-driver/Cargo.nix b/...tp-server/pds/virtio-blk-driver/crate.nix → ...tp-server/pds/virtio-blk-driver/Cargo.nix
diff --git a/...rtio-blk-driver/interface-types/crate.nix → ...rtio-blk-driver/interface-types/Cargo.nix b/...rtio-blk-driver/interface-types/crate.nix → ...rtio-blk-driver/interface-types/Cargo.nix
diff --git a/...tp-server/pds/virtio-net-driver/crate.nix → ...tp-server/pds/virtio-net-driver/Cargo.nix b/...tp-server/pds/virtio-net-driver/crate.nix → ...tp-server/pds/virtio-net-driver/Cargo.nix
diff --git a/...rtio-net-driver/interface-types/crate.nix → ...rtio-net-driver/interface-types/Cargo.nix b/...rtio-net-driver/interface-types/crate.nix → ...rtio-net-driver/interface-types/Cargo.nix
diff --git a/...ample-root-task-without-runtime/crate.nix → ...ample-root-task-without-runtime/Cargo.nix b/...ample-root-task-without-runtime/crate.nix → ...ample-root-task-without-runtime/Cargo.nix
diff --git a/...les/root-task/example-root-task/crate.nix → ...les/root-task/example-root-task/Cargo.nix b/...les/root-task/example-root-task/crate.nix → ...les/root-task/example-root-task/Cargo.nix
diff --git a/...crates/examples/root-task/hello/crate.nix → crates/examples/root-task/hello/Cargo.nix b/...crates/examples/root-task/hello/crate.nix → crates/examples/root-task/hello/Cargo.nix
diff --git a/...est-sources/crates/private/meta/crate.nix → crates/private/meta/Cargo.nix b/...est-sources/crates/private/meta/crate.nix → crates/private/meta/Cargo.nix
diff --git a/...s/private/support/cargo-helpers/crate.nix → ...s/private/support/cargo-helpers/Cargo.nix b/...s/private/support/cargo-helpers/crate.nix → ...s/private/support/cargo-helpers/Cargo.nix
diff --git a/...t/sel4-simple-task/config-types/crate.nix → ...t/sel4-simple-task/config-types/Cargo.nix b/...t/sel4-simple-task/config-types/crate.nix → ...t/sel4-simple-task/config-types/Cargo.nix
diff --git a/...te/support/sel4-simple-task/rpc/crate.nix → ...te/support/sel4-simple-task/rpc/Cargo.nix b/...te/support/sel4-simple-task/rpc/crate.nix → ...te/support/sel4-simple-task/rpc/Cargo.nix
diff --git a/...upport/sel4-simple-task/runtime/crate.nix → ...upport/sel4-simple-task/runtime/Cargo.nix b/...upport/sel4-simple-task/runtime/crate.nix → ...upport/sel4-simple-task/runtime/Cargo.nix
diff --git a/...-simple-task/runtime/config/cli/crate.nix → ...-simple-task/runtime/config/cli/Cargo.nix b/...-simple-task/runtime/config/cli/crate.nix → ...-simple-task/runtime/config/cli/Cargo.nix
diff --git a/...imple-task/runtime/config/types/crate.nix → ...imple-task/runtime/config/types/Cargo.nix b/...imple-task/runtime/config/types/crate.nix → ...imple-task/runtime/config/types/Cargo.nix
diff --git a/...sel4-simple-task/runtime/macros/crate.nix → ...sel4-simple-task/runtime/macros/Cargo.nix b/...sel4-simple-task/runtime/macros/crate.nix → ...sel4-simple-task/runtime/macros/Cargo.nix
diff --git a/...port/sel4-simple-task/threading/crate.nix → ...port/sel4-simple-task/threading/Cargo.nix b/...port/sel4-simple-task/threading/crate.nix → ...port/sel4-simple-task/threading/Cargo.nix
diff --git a/...s/capdl/threads/components/test/crate.nix → ...s/capdl/threads/components/test/Cargo.nix b/...s/capdl/threads/components/test/crate.nix → ...s/capdl/threads/components/test/Cargo.nix
diff --git a/...s/capdl/utcover/components/test/crate.nix → ...s/capdl/utcover/components/test/Cargo.nix b/...s/capdl/utcover/components/test/crate.nix → ...s/capdl/utcover/components/test/Cargo.nix
diff --git a/...with-deferred-action/pds/client/crate.nix → ...with-deferred-action/pds/client/Cargo.nix b/...with-deferred-action/pds/client/crate.nix → ...with-deferred-action/pds/client/Cargo.nix
diff --git a/...with-deferred-action/pds/server/crate.nix → ...with-deferred-action/pds/server/Cargo.nix b/...with-deferred-action/pds/server/crate.nix → ...with-deferred-action/pds/server/Cargo.nix
diff --git a/...ivate/tests/root-task/backtrace/crate.nix → ...ivate/tests/root-task/backtrace/Cargo.nix b/...ivate/tests/root-task/backtrace/crate.nix → ...ivate/tests/root-task/backtrace/Cargo.nix
diff --git a/...rates/private/tests/root-task/c/crate.nix → crates/private/tests/root-task/c/Cargo.nix b/...rates/private/tests/root-task/c/crate.nix → crates/private/tests/root-task/c/Cargo.nix
diff --git a/.../private/tests/root-task/config/crate.nix → .../private/tests/root-task/config/Cargo.nix b/.../private/tests/root-task/config/crate.nix → .../private/tests/root-task/config/Cargo.nix
diff --git a/...ivate/tests/root-task/core-libs/crate.nix → ...ivate/tests/root-task/core-libs/Cargo.nix b/...ivate/tests/root-task/core-libs/crate.nix → ...ivate/tests/root-task/core-libs/Cargo.nix
diff --git a/.../private/tests/root-task/loader/crate.nix → .../private/tests/root-task/loader/Cargo.nix b/.../private/tests/root-task/loader/crate.nix → .../private/tests/root-task/loader/Cargo.nix
diff --git a/...private/tests/root-task/mbedtls/crate.nix → ...private/tests/root-task/mbedtls/Cargo.nix b/...private/tests/root-task/mbedtls/crate.nix → ...private/tests/root-task/mbedtls/Cargo.nix
diff --git a/...ivate/tests/root-task/panicking/crate.nix → ...ivate/tests/root-task/panicking/Cargo.nix b/...ivate/tests/root-task/panicking/crate.nix → ...ivate/tests/root-task/panicking/Cargo.nix
diff --git a/...tes/private/tests/root-task/tls/crate.nix → crates/private/tests/root-task/tls/Cargo.nix b/...tes/private/tests/root-task/tls/crate.nix → crates/private/tests/root-task/tls/Cargo.nix
diff --git a/...rces/crates/sel4-async/block-io/crate.nix → crates/sel4-async/block-io/Cargo.nix b/...rces/crates/sel4-async/block-io/crate.nix → crates/sel4-async/block-io/Cargo.nix
diff --git a/...ates/sel4-async/block-io/cpiofs/crate.nix → crates/sel4-async/block-io/cpiofs/Cargo.nix b/...ates/sel4-async/block-io/cpiofs/crate.nix → crates/sel4-async/block-io/cpiofs/Cargo.nix
diff --git a/.../crates/sel4-async/block-io/fat/crate.nix → crates/sel4-async/block-io/fat/Cargo.nix b/.../crates/sel4-async/block-io/fat/crate.nix → crates/sel4-async/block-io/fat/Cargo.nix
diff --git a/...urces/crates/sel4-async/network/crate.nix → crates/sel4-async/network/Cargo.nix b/...urces/crates/sel4-async/network/crate.nix → crates/sel4-async/network/Cargo.nix
diff --git a/...ates/sel4-async/network/mbedtls/crate.nix → crates/sel4-async/network/mbedtls/Cargo.nix b/...ates/sel4-async/network/mbedtls/crate.nix → crates/sel4-async/network/mbedtls/Cargo.nix
diff --git a/...network/mbedtls/mozilla-ca-list/crate.nix → ...network/mbedtls/mozilla-ca-list/Cargo.nix b/...network/mbedtls/mozilla-ca-list/crate.nix → ...network/mbedtls/mozilla-ca-list/Cargo.nix
diff --git a/...-async/single-threaded-executor/crate.nix → ...-async/single-threaded-executor/Cargo.nix b/...-async/single-threaded-executor/crate.nix → ...-async/single-threaded-executor/Cargo.nix
diff --git a/...-sources/crates/sel4-async/time/crate.nix → crates/sel4-async/time/Cargo.nix b/...-sources/crates/sel4-async/time/crate.nix → crates/sel4-async/time/Cargo.nix
diff --git a/...ources/crates/sel4-async/unsync/crate.nix → crates/sel4-async/unsync/Cargo.nix b/...ources/crates/sel4-async/unsync/crate.nix → crates/sel4-async/unsync/Cargo.nix
diff --git a/...t-sources/crates/sel4-backtrace/crate.nix → crates/sel4-backtrace/Cargo.nix b/...t-sources/crates/sel4-backtrace/crate.nix → crates/sel4-backtrace/Cargo.nix
diff --git a/...ktrace/addr2line-context-helper/crate.nix → ...ktrace/addr2line-context-helper/Cargo.nix b/...ktrace/addr2line-context-helper/crate.nix → ...ktrace/addr2line-context-helper/Cargo.nix
diff --git a/...urces/crates/sel4-backtrace/cli/crate.nix → crates/sel4-backtrace/cli/Cargo.nix b/...urces/crates/sel4-backtrace/cli/crate.nix → crates/sel4-backtrace/cli/Cargo.nix
diff --git a/...4-backtrace/embedded-debug-info/crate.nix → ...4-backtrace/embedded-debug-info/Cargo.nix b/...4-backtrace/embedded-debug-info/crate.nix → ...4-backtrace/embedded-debug-info/Cargo.nix
diff --git a/...cktrace/embedded-debug-info/cli/crate.nix → ...cktrace/embedded-debug-info/cli/Cargo.nix b/...cktrace/embedded-debug-info/cli/crate.nix → ...cktrace/embedded-debug-info/cli/Cargo.nix
diff --git a/...es/crates/sel4-backtrace/simple/crate.nix → crates/sel4-backtrace/simple/Cargo.nix b/...es/crates/sel4-backtrace/simple/crate.nix → crates/sel4-backtrace/simple/Cargo.nix
diff --git a/...ces/crates/sel4-backtrace/types/crate.nix → crates/sel4-backtrace/types/Cargo.nix b/...ces/crates/sel4-backtrace/types/crate.nix → crates/sel4-backtrace/types/Cargo.nix
diff --git a/...es/sel4-bounce-buffer-allocator/crate.nix → ...es/sel4-bounce-buffer-allocator/Cargo.nix b/...es/sel4-bounce-buffer-allocator/crate.nix → ...es/sel4-bounce-buffer-allocator/Cargo.nix
diff --git a/...s/crates/sel4-capdl-initializer/crate.nix → crates/sel4-capdl-initializer/Cargo.nix b/...s/crates/sel4-capdl-initializer/crate.nix → crates/sel4-capdl-initializer/Cargo.nix
diff --git a/...sel4-capdl-initializer/add-spec/crate.nix → ...sel4-capdl-initializer/add-spec/Cargo.nix b/...sel4-capdl-initializer/add-spec/crate.nix → ...sel4-capdl-initializer/add-spec/Cargo.nix
diff --git a/...tes/sel4-capdl-initializer/core/crate.nix → crates/sel4-capdl-initializer/core/Cargo.nix b/...tes/sel4-capdl-initializer/core/crate.nix → crates/sel4-capdl-initializer/core/Cargo.nix
diff --git a/...l4-capdl-initializer/embed-spec/crate.nix → ...l4-capdl-initializer/embed-spec/Cargo.nix b/...l4-capdl-initializer/embed-spec/crate.nix → ...l4-capdl-initializer/embed-spec/Cargo.nix
diff --git a/...es/sel4-capdl-initializer/types/crate.nix → ...es/sel4-capdl-initializer/types/Cargo.nix b/...es/sel4-capdl-initializer/types/crate.nix → ...es/sel4-capdl-initializer/types/Cargo.nix
diff --git a/...-capdl-initializer/types/derive/crate.nix → ...-capdl-initializer/types/derive/Cargo.nix b/...-capdl-initializer/types/derive/crate.nix → ...-capdl-initializer/types/derive/Cargo.nix
diff --git a/...-initializer/with-embedded-spec/crate.nix → ...-initializer/with-embedded-spec/Cargo.nix b/...-initializer/with-embedded-spec/crate.nix → ...-initializer/with-embedded-spec/Cargo.nix
diff --git a/...er/with-embedded-spec/build-env/crate.nix → ...er/with-embedded-spec/build-env/Cargo.nix b/...er/with-embedded-spec/build-env/crate.nix → ...er/with-embedded-spec/build-env/Cargo.nix
diff --git a/...ith-embedded-spec/embedded-spec/crate.nix → ...ith-embedded-spec/embedded-spec/Cargo.nix b/...ith-embedded-spec/embedded-spec/crate.nix → ...ith-embedded-spec/embedded-spec/Cargo.nix
diff --git a/...ded-spec/embedded-spec/validate/crate.nix → ...ded-spec/embedded-spec/validate/Cargo.nix b/...ded-spec/embedded-spec/validate/crate.nix → ...ded-spec/embedded-spec/validate/Cargo.nix
diff --git a/...st-sources/crates/sel4-dlmalloc/crate.nix → crates/sel4-dlmalloc/Cargo.nix b/...st-sources/crates/sel4-dlmalloc/crate.nix → crates/sel4-dlmalloc/Cargo.nix
diff --git a/...s/crates/sel4-externally-shared/crate.nix → crates/sel4-externally-shared/Cargo.nix b/...s/crates/sel4-externally-shared/crate.nix → crates/sel4-externally-shared/Cargo.nix
diff --git a/...ates/sel4-generate-target-specs/crate.nix → crates/sel4-generate-target-specs/Cargo.nix b/...ates/sel4-generate-target-specs/crate.nix → crates/sel4-generate-target-specs/Cargo.nix
diff --git a/...s/sel4-immediate-sync-once-cell/crate.nix → ...s/sel4-immediate-sync-once-cell/Cargo.nix b/...s/sel4-immediate-sync-once-cell/crate.nix → ...s/sel4-immediate-sync-once-cell/Cargo.nix
diff --git a/...rces/crates/sel4-immutable-cell/crate.nix → crates/sel4-immutable-cell/Cargo.nix b/...rces/crates/sel4-immutable-cell/crate.nix → crates/sel4-immutable-cell/Cargo.nix
diff --git a/...es/sel4-initialize-tls-on-stack/crate.nix → ...es/sel4-initialize-tls-on-stack/Cargo.nix b/...es/sel4-initialize-tls-on-stack/crate.nix → ...es/sel4-initialize-tls-on-stack/Cargo.nix
diff --git a/...urces/crates/sel4-kernel-loader/crate.nix → crates/sel4-kernel-loader/Cargo.nix b/...urces/crates/sel4-kernel-loader/crate.nix → crates/sel4-kernel-loader/Cargo.nix
diff --git a/.../sel4-kernel-loader/add-payload/crate.nix → .../sel4-kernel-loader/add-payload/Cargo.nix b/.../sel4-kernel-loader/add-payload/crate.nix → .../sel4-kernel-loader/add-payload/Cargo.nix
diff --git a/...sel4-kernel-loader/config-types/crate.nix → ...sel4-kernel-loader/config-types/Cargo.nix b/...sel4-kernel-loader/config-types/crate.nix → ...sel4-kernel-loader/config-types/Cargo.nix
diff --git a/...kernel-loader/embed-page-tables/crate.nix → ...kernel-loader/embed-page-tables/Cargo.nix b/...kernel-loader/embed-page-tables/crate.nix → ...kernel-loader/embed-page-tables/Cargo.nix
diff --git a/...oader/embed-page-tables/runtime/crate.nix → ...oader/embed-page-tables/runtime/Cargo.nix b/...oader/embed-page-tables/runtime/crate.nix → ...oader/embed-page-tables/runtime/Cargo.nix
diff --git a/...el4-kernel-loader/payload-types/crate.nix → ...el4-kernel-loader/payload-types/Cargo.nix b/...el4-kernel-loader/payload-types/crate.nix → ...el4-kernel-loader/payload-types/Cargo.nix
diff --git a/...est-sources/crates/sel4-logging/crate.nix → crates/sel4-logging/Cargo.nix b/...est-sources/crates/sel4-logging/crate.nix → crates/sel4-logging/Cargo.nix
diff --git a/...st-sources/crates/sel4-microkit/crate.nix → crates/sel4-microkit/Cargo.nix b/...st-sources/crates/sel4-microkit/crate.nix → crates/sel4-microkit/Cargo.nix
diff --git a/...ces/crates/sel4-microkit/macros/crate.nix → crates/sel4-microkit/macros/Cargo.nix b/...ces/crates/sel4-microkit/macros/crate.nix → crates/sel4-microkit/macros/Cargo.nix
diff --git a/...es/crates/sel4-microkit/message/crate.nix → crates/sel4-microkit/message/Cargo.nix b/...es/crates/sel4-microkit/message/crate.nix → crates/sel4-microkit/message/Cargo.nix
diff --git a/...tes/sel4-microkit/message/types/crate.nix → crates/sel4-microkit/message/types/Cargo.nix b/...tes/sel4-microkit/message/types/crate.nix → crates/sel4-microkit/message/types/Cargo.nix
diff --git a/...fest-sources/crates/sel4-newlib/crate.nix → crates/sel4-newlib/Cargo.nix b/...fest-sources/crates/sel4-newlib/crate.nix → crates/sel4-newlib/Cargo.nix
diff --git a/...ources/crates/sel4-one-ref-cell/crate.nix → crates/sel4-one-ref-cell/Cargo.nix b/...ources/crates/sel4-one-ref-cell/crate.nix → crates/sel4-one-ref-cell/Cargo.nix
diff --git a/...t-sources/crates/sel4-panicking/crate.nix → crates/sel4-panicking/Cargo.nix b/...t-sources/crates/sel4-panicking/crate.nix → crates/sel4-panicking/Cargo.nix
diff --git a/...urces/crates/sel4-panicking/env/crate.nix → crates/sel4-panicking/env/Cargo.nix b/...urces/crates/sel4-panicking/env/crate.nix → crates/sel4-panicking/env/Cargo.nix
diff --git a/...urces/crates/sel4-platform-info/crate.nix → crates/sel4-platform-info/Cargo.nix b/...urces/crates/sel4-platform-info/crate.nix → crates/sel4-platform-info/Cargo.nix
diff --git a/...crates/sel4-platform-info/types/crate.nix → crates/sel4-platform-info/types/Cargo.nix b/...crates/sel4-platform-info/types/crate.nix → crates/sel4-platform-info/types/Cargo.nix
diff --git a/...rates/sel4-render-elf-with-data/crate.nix → crates/sel4-render-elf-with-data/Cargo.nix b/...rates/sel4-render-elf-with-data/crate.nix → crates/sel4-render-elf-with-data/Cargo.nix
diff --git a/...t-sources/crates/sel4-root-task/crate.nix → crates/sel4-root-task/Cargo.nix b/...t-sources/crates/sel4-root-task/crate.nix → crates/sel4-root-task/Cargo.nix
diff --git a/...es/crates/sel4-root-task/macros/crate.nix → crates/sel4-root-task/macros/Cargo.nix b/...es/crates/sel4-root-task/macros/crate.nix → crates/sel4-root-task/macros/Cargo.nix
diff --git a/...rces/crates/sel4-runtime-common/crate.nix → crates/sel4-runtime-common/Cargo.nix b/...rces/crates/sel4-runtime-common/crate.nix → crates/sel4-runtime-common/Cargo.nix
diff --git a/...rces/crates/sel4-rustfmt-helper/crate.nix → crates/sel4-rustfmt-helper/Cargo.nix b/...rces/crates/sel4-rustfmt-helper/crate.nix → crates/sel4-rustfmt-helper/Cargo.nix
diff --git a/.../crates/sel4-shared-ring-buffer/crate.nix → crates/sel4-shared-ring-buffer/Cargo.nix b/.../crates/sel4-shared-ring-buffer/crate.nix → crates/sel4-shared-ring-buffer/Cargo.nix
diff --git a/...el4-shared-ring-buffer/block-io/crate.nix → ...el4-shared-ring-buffer/block-io/Cargo.nix b/...el4-shared-ring-buffer/block-io/crate.nix → ...el4-shared-ring-buffer/block-io/Cargo.nix
diff --git a/...ared-ring-buffer/block-io/types/crate.nix → ...ared-ring-buffer/block-io/types/Cargo.nix b/...ared-ring-buffer/block-io/types/crate.nix → ...ared-ring-buffer/block-io/types/Cargo.nix
diff --git a/...-shared-ring-buffer/bookkeeping/crate.nix → ...-shared-ring-buffer/bookkeeping/Cargo.nix b/...-shared-ring-buffer/bookkeeping/crate.nix → ...-shared-ring-buffer/bookkeeping/Cargo.nix
diff --git a/...sel4-shared-ring-buffer/smoltcp/crate.nix → ...sel4-shared-ring-buffer/smoltcp/Cargo.nix b/...sel4-shared-ring-buffer/smoltcp/crate.nix → ...sel4-shared-ring-buffer/smoltcp/Cargo.nix
diff --git a/...nifest-sources/crates/sel4-sync/crate.nix → crates/sel4-sync/Cargo.nix b/...nifest-sources/crates/sel4-sync/crate.nix → crates/sel4-sync/Cargo.nix
diff --git a/...go-manifest-sources/crates/sel4/crate.nix → crates/sel4/Cargo.nix b/...go-manifest-sources/crates/sel4/crate.nix → crates/sel4/Cargo.nix
diff --git a/...ources/crates/sel4/bitfield-ops/crate.nix → crates/sel4/bitfield-ops/Cargo.nix b/...ources/crates/sel4/bitfield-ops/crate.nix → crates/sel4/bitfield-ops/Cargo.nix
diff --git a/...ces/crates/sel4/bitfield-parser/crate.nix → crates/sel4/bitfield-parser/Cargo.nix b/...ces/crates/sel4/bitfield-parser/crate.nix → crates/sel4/bitfield-parser/Cargo.nix
diff --git a/...rates/sel4/bitfield-parser/test/crate.nix → crates/sel4/bitfield-parser/test/Cargo.nix b/...rates/sel4/bitfield-parser/test/crate.nix → crates/sel4/bitfield-parser/test/Cargo.nix
diff --git a/...t-sources/crates/sel4/build-env/crate.nix → crates/sel4/build-env/Cargo.nix b/...t-sources/crates/sel4/build-env/crate.nix → crates/sel4/build-env/Cargo.nix
diff --git a/...fest-sources/crates/sel4/config/crate.nix → crates/sel4/config/Cargo.nix b/...fest-sources/crates/sel4/config/crate.nix → crates/sel4/config/Cargo.nix
diff --git a/...sources/crates/sel4/config/data/crate.nix → crates/sel4/config/data/Cargo.nix b/...sources/crates/sel4/config/data/crate.nix → crates/sel4/config/data/Cargo.nix
diff --git a/...sel4/config/generic/macro-impls/crate.nix → ...sel4/config/generic/macro-impls/Cargo.nix b/...sel4/config/generic/macro-impls/crate.nix → ...sel4/config/generic/macro-impls/Cargo.nix
diff --git a/...rates/sel4/config/generic/types/crate.nix → crates/sel4/config/generic/types/Cargo.nix b/...rates/sel4/config/generic/types/crate.nix → crates/sel4/config/generic/types/Cargo.nix
diff --git a/...urces/crates/sel4/config/macros/crate.nix → crates/sel4/config/macros/Cargo.nix b/...urces/crates/sel4/config/macros/crate.nix → crates/sel4/config/macros/Cargo.nix
diff --git a/...anifest-sources/crates/sel4/sys/crate.nix → crates/sel4/sys/Cargo.nix b/...anifest-sources/crates/sel4/sys/crate.nix → crates/sel4/sys/Cargo.nix
diff --git a/...ources/crates/sel4/sys/wrappers/crate.nix → crates/sel4/sys/wrappers/Cargo.nix b/...ources/crates/sel4/sys/wrappers/crate.nix → crates/sel4/sys/wrappers/Cargo.nix