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