19 Mar
2016
19 Mar
'16
8:47 a.m.
Hi all, I’m very new to seL4 development. I’m particularly interested in understanding seL4 kernel source code. Could someone points me out how the seL4 is booted and where should I start learning? Thanks -Dan
3659
Age (days ago)
3659
Last active (days ago)
2 comments
3 participants
participants (3)
-
Corey Richardson -
Daniel Wang -
Gapry Un