Re: [seL4] How are capabilities assigned
1 Mar
2015
1 Mar
'15
3:31 p.m.
Hi, sorry if this sounds stupid but are address spaces and threads directly managed by the kernel as in are they allocated and identified by the kernel or is there another that helps the kernel?
4052
Age (days ago)
4053
Last active (days ago)
2 comments
2 participants
participants (2)
-
Alexander Kroh -
Sebastian Lau