How to understand seL4?

21 Aug
2023
21 Aug
'23
5:46 p.m.
Hello,I want to learn seL4 deeply. So that I can figure it out and develop it. Where should I start? Thank you.

24 Aug
24 Aug
8:40 a.m.
Hello Jason, On 2023-08-21 23:46, Jason Long via Devel wrote:
Hello,I want to learn seL4 deeply. So that I can figure it out and develop it. Where should I start?
Start with: https://sel4.systems/Learn/ https://sel4.systems/Info/Docs/seL4-manual-latest.pdf Greetings, Indan
686
Age (days ago)
689
Last active (days ago)
1 comments
2 participants
participants (2)
-
Indan Zupancic
-
Jason Long