clean up kernel dependencies for kani compatability

twizzler-operating-system · Nov 1, 2024 · ee3a25d · ee3a25d
1 parent 1f2d878
commit ee3a25d
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/kernel/Cargo.toml b/src/kernel/Cargo.toml
@@ -30,8 +30,6 @@ limine = "0.1.11"
 twizzler-queue-raw = { version = "*", path = "../lib/twizzler-queue-raw", default-features = false }
 # syscall_encode = { version = "0.1.2" }
 volatile = "0.5"
-uart_16550 = "0.3.0"
-x86 = "0.52.0"
 acpi = "4.1.1"
 arm64 = { package = "aarch64-cpu", version = "9.3.1" }
 registers = { package = "tock-registers", version = "0.8.x" }
@@ -73,3 +71,6 @@ debug = true
 [profile.dev]
 opt-level = 1
 
+[target.'cfg(kani)'.dependencies]
+uart_16550 = "0.3.0"
+x86 = "0.52.0"