microkit
microkit copied to clipboard
seL4
Microkit - A simple operating system framework for the seL4 microkernel
This would potentially avoid debugging experiences such as https://github.com/seL4/microkit/issues/263. See my comment for details: https://github.com/seL4/microkit/issues/263#issuecomment-2628672065.
This PR adds support for x86_64 hardware, with a QEMU emulated machine and an Odroid H2+ board as reference targets. X86 is quite a different beast compared to ARM and...
The ELF should contain the sections with information on target load addresses so that the ELF file and the entry point (all standard metadata supported by ELF AFAIK) can be...
I'd like to use memory regions to distribute data to my protection domains. Ideally, there would be a setting in the XML snippets of memory regions that specifies an input...
It would be excellent if the Microkit API would be usable from within a Linux VM.
Or, at the very least, we should stop adding more functions to its API. [^1] To be clear, this is my opinion, and for discussion. ## the issue Currently, the...
This issue does not affect any released versions of Microkit since the SDKs available for download are using GCC. This also does not seem to affect anyone using LLVM for...
Follow up from https://github.com/seL4/microkit/pull/337, we have JSON output right now via `--capdl-spec` but to leverage existing verification tooling we need to output the CDL format (e.g https://github.com/seL4/capdl/blob/master/capDL-tool/example.cdl) This will not...
We need to know the object sizes for the target kernel being used inside the tool https://github.com/seL4/microkit/blob/a7f037c74097f688e11134ba888eba531eaad971/tool/microkit/src/sel4.rs#L433. It is vital that these are the exact same as what is in...