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?
4041
Age (days ago)
4042
Last active (days ago)
2 comments
2 participants
participants (2)
-
Alexander Kroh -
Sebastian Lau