diff --git a/crates/sel4-microkit/base/src/channel.rs b/crates/sel4-microkit/base/src/channel.rs
index 3aa54d7bf..8d8219219 100644
--- a/crates/sel4-microkit/base/src/channel.rs
+++ b/crates/sel4-microkit/base/src/channel.rs
@@ -27,6 +27,10 @@ impl Channel {
         Self { index }
     }
 
+    pub const fn index(&self) -> usize {
+        self.index
+    }
+
     fn cap<T: sel4::CapType>(&self, base_slot: usize) -> sel4::Cap<T> {
         sel4::Cap::from_bits((base_slot + self.index) as sel4::CPtrBits)
     }
@@ -92,6 +96,10 @@ impl Child {
         Self { index }
     }
 
+    pub const fn index(&self) -> usize {
+        self.index
+    }
+
     #[doc(hidden)]
     pub fn tcb(&self) -> sel4::cap::Tcb {
         sel4::Cap::from_bits((BASE_TCB_SLOT + self.index) as sel4::CPtrBits)