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-process
- 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 <[email protected]>:
> 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
> [email protected]
> https://sel4.systems/lists/listinfo/devel
>
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
