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