On Fri, Mar 18, 2016 at 05:47:32PM -0400, Daniel Wang wrote:
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?
Have you seen the getting started guide[1], the reference manual[2], or the "20 years" paper[3]? The latter two are quite important for understanding what seL4 provides and some rationale for its design. The kernel itself is quite small and relatively easy to understand, the trick is its design.
The kernel could use some more documentation, if you want to write notes as you go.
A general tip: configure your editor to have go-to-definition support via ctags[4] or somesuch.
[1] - https://wiki.sel4.systems/Getting%20started [2] - http://sel4.systems/Info/Docs/seL4-manual-3.0.0.pdf [3] - http://ssrg.nicta.com.au/publications/nictaabstracts/Elphinstone_Heiser_13.a... [4] - https://en.wikipedia.org/wiki/Ctags