[seL4] Re: How to understand seL4?

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