Ivan Velickovic
Ivan Velickovic
There is currently a single patch to the seL4 kernel (https://github.com/seL4/seL4/commit/c8ef493d038b81cc43f82c0190788e4b3bdb4d9d) that Microkit depends on. **What is the patch for?** The patch allows the boot-loader, which runs before seL4, to...
One of the goals of Microkit is to have minimal overhead with regards to memory usage. A number of design decisions have been made in order to make this possible....
It is important to outline the philosophy and goals of Microkit in a transparent way. This has been partially done in various places, but not in any single central place...
Not urgent, but I have noticed some code in the capDL initaliser code that does not respect the rights for a capability that is outlined in the given spec: https://github.com/seL4/rust-sel4/blob/484bb4b02c5dc6ed952d45235b2fe999b645da00/crates/sel4-capdl-initializer/core/src/lib.rs#L429...
Depends on https://github.com/seL4/seL4/pull/1019.
I've noticed some system calls that appear in the reference manual, don't appear on the API reference page (https://docs.sel4.systems/projects/sel4/api-doc.html). Specifically: * `seL4_NBSendRecv` * `seL4_NBSendWait` There may be more but those...
This patch checks that a memory mapping is not at a virtual address that is greater than the maximum virtual address.
Recently I've made a PR for RISC-V support to Microkit (https://github.com/seL4/microkit/pull/179) which means that Microkit now supports multiple architectures. This means that we need a new toolchain dependency since GCC...
Right now all PD ELF data is mapped in with the smallest page size, 4KB. This introduces quite a lot of overhead for large ELFs. The most extreme example we...
Is there a reason the kernel configuration option `KernelArmVtimerUpdateVOffset` is set globally, e.g for every vCPU in the system rather than being a per-vCPU configuration at runtime? It seems like...