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