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