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