microkit
microkit copied to clipboard
seL4
Microkit - A simple operating system framework for the seL4 microkernel
Many thanks for writing a detailed manual about the use and rationale for the Microkit. It is an important resource. I've read the document in details recently; I have some...
Currently, most of the microkit API is defined `static inline`. This is nice for lean binaries and good performance, but not so nice for bindings to other programming languages. The...
Instead of hard-coding invocation numbers, we now get them from a file generated by the seL4 kernel build. Depends on: [bd1c39240944207ef71237f98663acb06cc971f6](https://github.com/seL4/seL4/commit/bd1c39240944207ef71237f98663acb06cc971f6)
This allows a microkit image to be loaded anywhere in memory at which point it will relocate itself to the LOADER_LINK_ADDRESS. These changes are based on the elfloader from seL4/seL4_tools....
I am experiencing the same issue mentioned in [this](https://github.com/seL4/microkit/pull/71) pull request, but with a Raspberry Pi 4. Running a “Hello World” sample on the Raspberry Pi 4 using [Ivan’s fork](https://github.com/Ivan-Velickovic/microkit)...
Also fixes #168, as this allows us enough precision to check priorities. Can specify `pp="true"` or `notify="false"` (or vice-versa, for the defaults): ```xml ``` ToDo: - [x] Parsing tests -...
Those who are not super familiar with seL4 may pick up the Microkit assuming that it is using the verified configuration when in reality currently that is not the case....
Depends on https://github.com/seL4/seL4/pull/1397.
Turns out the kernel has the ability to restrict the SMCs possible depending on the badge of the SMC cap. We should add the ability for PDs to make use...
Reported by @lsf37 and @alainkaegi. Having a PD with minimum budget (20us) on the Odroid-C4 seems to never make progress. Setting `budget=21` fixes it somehow. This setup couldn't be reproduced...