diff --git a/kernel/src/objects/null.rs b/kernel/src/objects/null.rs index 8b35e07..18491ae 100644 --- a/kernel/src/objects/null.rs +++ b/kernel/src/objects/null.rs @@ -14,6 +14,10 @@ impl<'a> NullCap<'a> { pub fn mint() -> RawCap { RawCap::new(0, 0, PhysAddr(0), ObjectType::Null) } + + pub fn override_cap(&self, new: RawCap) { + unsafe { self.cte.cap.update(|cap| *cap = new) }; + } } impl Debug for NullCap<'_> {