microkit
microkit copied to clipboard
seL4
Microkit - A simple operating system framework for the seL4 microkernel
My current workflow for tracking microkit is: - Find out which commit corresponds to the last release - Browse files of the repo for that commit - CTRL+F for seL4...
https://github.com/seL4/microkit/blob/d1ea5bceaa5ac1c41516ff9e02f23c13525331ff/build_sdk.py#L36 Is not very compatible, i.e. the cross compiler toolchain from the `nixpkgs` has the `riscv64-none-elf-` target prefix instead. Relevant upstream seL4 Issue: https://github.com/seL4/seL4/issues/1309 and PR: https://github.com/seL4/seL4/pull/1310 Please note that...
Currently it's just a message from the kernel that it was invoked on a null cap which isn't obvious.
Hi, thank you for the nice work :) I just did the tutorial and wondered during part4. I have copy/pasted your `wordle.system` code into my config and found out that...
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...
This PR aims to add support to the Microkit for seL4's domain scheduling. Ideally, if the user wished to use domain scheduling, they would specify a domain schedule as well...
We are running the sel4 microkit with QEMU on NixOS 23.11 to implement a proof of concept system. One of our applications requires trigonometric functions, hence we are using the...
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...
Waiting on adding support for macOS in the nixified compiler here: https://github.com/isubasinghe/arm-gcc-binutils
There are cases where it would be useful to be able specify the program image separately from the symbols that will be used to manipulate it. https://github.com/seL4/rust-sel4/pull/167 adds support for...
