From 302de5eae107d1d613b4eebdbc1d209079d4839a Mon Sep 17 00:00:00 2001
From: Paul Pan <i@0x7f.app>
Date: Fri, 14 Jun 2024 15:33:19 +0800
Subject: [PATCH] feat: uapi: add initial cspace layout

---
 uapi/src/cspace.rs | 10 ++++++++++
 uapi/src/lib.rs    |  1 +
 2 files changed, 11 insertions(+)
 create mode 100644 uapi/src/cspace.rs

diff --git a/uapi/src/cspace.rs b/uapi/src/cspace.rs
new file mode 100644
index 0000000..3840fe1
--- /dev/null
+++ b/uapi/src/cspace.rs
@@ -0,0 +1,10 @@
+#[derive(Clone, Copy, Debug, Eq, PartialEq, FromPrimitive, ToPrimitive)]
+pub enum CNodeSlot {
+    NullCap = 0,
+    TcbCap,
+    CNodeCap,
+    VSpaceCap,
+    BootInfoFrameCap,
+    UntypedCap,
+    // IrqControlCap
+}
diff --git a/uapi/src/lib.rs b/uapi/src/lib.rs
index 0373eac..c67c9ee 100644
--- a/uapi/src/lib.rs
+++ b/uapi/src/lib.rs
@@ -5,6 +5,7 @@
 extern crate num_derive;
 
 pub mod cap;
+pub mod cspace;
 pub mod error;
 pub mod fault;
 pub mod syscall;