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
Hi Daniel,
I learn a lot of things on the tutorials ( https://github.com/seL4-projects/sel4-tutorials).
For the boot process, I think the following information is the key.
- http://www.cse.unsw.edu.au/~cs9242/15/project/sabrelite.shtml#the-boot-proce... - https://sel4.systems/Info/Hardware/sabreLite/ - http://www.cse.unsw.edu.au/~cs9242/15/project/m0.shtml
Actually, I spent 12+hrs to setup the development envirnment ( http://www.cse.unsw.edu.au/~cs9242/15/project/linux.shtml) on my Ubuntu 14.04. Unfortunately, I found the boot img file did not upload (or burn) to the sd cards. If you do it and success later, please let me know.
Thanks
2016-03-19 5:47 GMT+08:00 Daniel Wang danielwang.ksu@gmail.com:
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 _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
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
-
Corey Richardson -
Daniel Wang -
Gapry Un