microkit
microkit copied to clipboard
seL4
Microkit - A simple operating system framework for the seL4 microkernel
Currently, https://trustworthy.systems/projects/microkit/tutorial/part0.html just recommends to download `curl -L trustworthy.systems/Downloads/microkit_tutorial/sdk-linux-x64.tar.gz -o sdk.tar.gz`. I would much prefer if the sdk would be versioned, with a list of all previous versions as well:...
Roadmap
As some may be aware, there has been significant development and change on Microkit outside of the mainline version. This currently lives [here](https://github.com/Ivan-Velickovic/sel4cp). This issue outlines the roadmap of up-streaming...
There is currently no API for doing cache operations on ARM platforms. This leads to code like this https://github.com/seL4/microkit/blob/71e014494367d12f8b12bad9d7d1655778ca2cc2/example/tqma8xqp1gb/ethernet/eth.c#L609 which should not be necessary. We could add simple wrappers such...
This is a change needed to verify the code (see [this](https://docs.sel4.systems/processes/style-guide.html#verification-requirements) page on C parser restrictions), instead of taking the address of local variables we should take the address of...
seL4 enforces a maximum IRQ number for ARM and RISC-V platforms, we should check for this at build time to avoid an seL4 invocation error upon boot. Depends on https://github.com/seL4/seL4/issues/1207.
Currently Microkit supports 4K and 2MiB page sizes. It would be fairly easy to add 1GiB page sizes as well which would be useful especially for things like virtual machines.
I believe there are a couple of ARM platforms (the Raspberry Pi 3 is one of them) that have a non-standard interrupt controller. This platforms are configured with `HAVE_SET_TRIGGER` to...
I needed to make this change to make the C-parser accept the code. Not entirely sure why the C-parser blew up when it saw the continue statement, I am unsure...
Hi, Microkit system description (XML) provides the map element, to map a memory region into protection domains. It has some attributes, including "setvar_vaddr", which specifies a symbol name in the...
Hi, currently there is no easy way to configure the stack size. It would be nice to be able to set it without having to update and rebuild the sdk.
