Task_cap = 1,
Factory_cap = 2,
Rm_thread_cap = 3,
- External_rm_cap = 5,
- Allocator_cap = 7,
+ Log_cap = 5,
+ Scheduler_cap = 7,
+ // skip base caps
+ External_rm_cap = 0x10,
+ Allocator_cap,
Names_cap,
- Log_cap,
Parent_cap,
Kip_cap,
- Scheduler_cap,
First_free,
};
};