Hi Sriram, documentation is available from https://docs.sel4.systems
In particular, have a look at the page https://docs.sel4.systems/projects/sel4/documentation.html, the manuals that are linked from the side bar on the right, and the libseL4 API documentation: https://docs.sel4.systems/projects/sel4/api-doc.html If you are interested in the source code itself, I'd recommend checking out the literate Haskell sources that correspond to the C sources of the kernel. The comments there may be slightly out of date for some parts, but they do contain a lot of information about design and intention. You can find these under https://github.com/seL4/l4v/tree/master/spec/haskell And of course there is the formal specification under https://github.com/seL4/l4v/tree/master/spec/abstract starting with https://github.com/seL4/l4v/blob/master/spec/abstract/Intro_Doc.thy. I wouldn't recommend that as they entry level, but it is the definition of what behaviour to expect from seL4. Cheers, Gerwin On 17 Jun 2022, at 16:18, Sriram via Devel <devel@sel4.systems<mailto:devel@sel4.systems>> wrote: Greetings, We are trying to understand the SeL4 Source Code, is there any documentation available that explains the source code and libraries Thanks and Regards R.Sriram _______________________________________________ Devel mailing list -- devel@sel4.systems<mailto:devel@sel4.systems> To unsubscribe send an email to devel-leave@sel4.systems<mailto:devel-leave@sel4.systems> _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
