Booting on QEMU Morello (#197)

* Add support for CHERI QEMU * Add Morello build target * Implement basic GICv3 support * Run cargo fmt * Fix interrupt initialization * Cleanup and comments
twizzler-operating-system · Aug 16, 2024 · 915f1d0 · 915f1d0
1 parent 57b9936
commit 915f1d0
Show file tree

Hide file tree

Showing 15 changed files with 739 additions and 27 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/src/kernel/Cargo.toml b/src/kernel/Cargo.toml
@@ -50,6 +50,9 @@ registers = { package = "tock-registers", version = "0.8.x" }
 fdt = "0.1.5"
 smccc = "0.1.1"
 
+[target.'cfg(machine = "morello")'.dependencies]
+arm-gic = "0.1.0"
+
 [dependencies.lazy_static]
 version = "1.0"
 features = ["spin_no_std"]