From 6cef1605955d8728a5da9dd69377892a32236b1e Mon Sep 17 00:00:00 2001 From: Berkus Decker Date: Thu, 3 Dec 2020 02:32:41 +0200 Subject: [PATCH] [wip] comment update --- nucleus/src/arch/aarch64/caps.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nucleus/src/arch/aarch64/caps.rs b/nucleus/src/arch/aarch64/caps.rs index 610d0b1..b205e9d 100644 --- a/nucleus/src/arch/aarch64/caps.rs +++ b/nucleus/src/arch/aarch64/caps.rs @@ -667,7 +667,7 @@ where /// Conceptually a thread’s CapSpace is the portion of the directed graph that is reachable /// starting with the CapNode capability that is its CapSpace root. struct CapSpace { - // cap_space_root: CapNodePath, + // cap_space_root: CapNodePath, -- probably not a path but direct CapNode pointer?? } //impl CapNode for CapSpace {} -- ?