From fc6fa7105a0dc5e798aa8aec39989f1064d46498 Mon Sep 17 00:00:00 2001
From: Berkus Decker <berkus+github@metta.systems>
Date: Wed, 2 Dec 2020 01:06:14 +0200
Subject: [PATCH] [wip] kernel objs

---
 nucleus/src/arch/aarch64/objects.rs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/nucleus/src/arch/aarch64/objects.rs b/nucleus/src/arch/aarch64/objects.rs
index 461905b..e3f4f43 100644
--- a/nucleus/src/arch/aarch64/objects.rs
+++ b/nucleus/src/arch/aarch64/objects.rs
@@ -266,7 +266,10 @@ trait Thread {
 
 // @todo <<SchedContext>>
 
-struct TCB {}
+struct TCB {
+    capability: u128, // should actually be a CapPath here - this is the argument to
+    // Thread.read_registers(cap, ... call for example.
+}
 
 impl Thread for TCB {}
 impl KernelObject for TCB {
@@ -319,7 +322,7 @@ impl API for Kernel {}
 
 trait DomainSet {
     // ??
-    fn set(domain, thread: TCB);
+    fn set(domain: Dom, thread: TCB);
 }
 
 // Virtualisation