crates/sel4-vmm/gic: Remove placeholder

nspin · Jul 14, 2024 · e0e5054 · e0e5054
1 parent 4cc4249
commit e0e5054
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 40 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -142,7 +142,6 @@ members = [
     "crates/sel4-synthetic-elf",
     "crates/sel4-test-harness",
     "crates/sel4-vmm",
-    "crates/sel4-vmm/gic",
     "crates/sel4-vmm/interfaces",
     "crates/sel4-vmm/payload",
     "crates/sel4-vmm/payload/cli",

diff --git a/crates/sel4-vmm/gic/Cargo.nix b/crates/sel4-vmm/gic/Cargo.nix
diff --git a/crates/sel4-vmm/gic/Cargo.toml b/crates/sel4-vmm/gic/Cargo.toml
diff --git a/crates/sel4-vmm/gic/src/lib.rs b/crates/sel4-vmm/gic/src/lib.rs