From dda2c2a4cae22ffe4fe91f75045593351c8f9f04 Mon Sep 17 00:00:00 2001 From: Berkus Decker Date: Tue, 29 Dec 2020 01:35:48 +0200 Subject: [PATCH] [wip] captable --- nucleus/src/caps/capnode_cap.rs | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/nucleus/src/caps/capnode_cap.rs b/nucleus/src/caps/capnode_cap.rs index 0ad0004..aadf756 100644 --- a/nucleus/src/caps/capnode_cap.rs +++ b/nucleus/src/caps/capnode_cap.rs @@ -12,6 +12,12 @@ use { ux::u6, }; +/// CapNode capability points to a CapTable containing +/// a number of CapTableEntries. +/// While CapTable is merely a storage, CapNode capability +/// provides information about the guard and the size +/// of that table. + //===================== // Cap definition //=====================