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