[wip] kernel objs

This commit is contained in:
Berkus Decker 2020-12-02 01:06:14 +02:00
parent 591292c186
commit fc6fa7105a
1 changed files with 5 additions and 2 deletions

View File

@ -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