[seL4] Re: SeL4 Source Code Documentation

Thanks for the reply We still aren't able to input username and password after booting VM Linux build, Is there any modification in the code or any file/modules required for the input/output management as the issue still persists if so can you provide the necessary files to be modified Thanks and Regards R.Sriram ------- Original Message ------- On Monday, June 20th, 2022 at 7:03 AM, Gerwin Klein wrote:

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 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 To unsubscribe send an email to devel-leave@sel4.systems