From 25f6fc0e98bfb1a2aace7a04176cc7ec2379320f Mon Sep 17 00:00:00 2001
From: Berkus Decker <berkus+github@metta.systems>
Date: Sun, 13 Dec 2020 19:41:30 +0200
Subject: [PATCH] wip split arm and generic caps

---
 nucleus/src/arch/aarch64/caps.rs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/nucleus/src/arch/aarch64/caps.rs b/nucleus/src/arch/aarch64/caps.rs
index 6e4f418..6571366 100644
--- a/nucleus/src/arch/aarch64/caps.rs
+++ b/nucleus/src/arch/aarch64/caps.rs
@@ -370,11 +370,16 @@ macro_rules! capdefs {
     }
 }
 
+// Generic caps - @todo move to src/caps/
 capdefs! {
     Null, Untyped, Endpoint,
     Notification, Reply, CapNode,
     Thread, IrqControl, IrqHandler,
-    Zombie, Domain, Resume,
+    Zombie, Domain, Resume
+}
+
+// ARM-specific caps
+capdefs! {
     Frame, PageTable, PageDirectory,
     PageUpperDirectory, PageGlobalDirectory,
     AsidControl, AsidPool