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
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