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
