microkit
microkit copied to clipboard
seL4
Microkit - A simple operating system framework for the seL4 microkernel
Currently we need to manually declare the relevant channel numbers for each PD, for example [here](https://github.com/seL4/microkit/blob/main/example/tqma8xqp1gb/ethernet/eth.c#L10). The microkit should generate an appropriate header with the channel numbers from the system...
There was a brief discussion at the summit that maybe using XML for the system description is not the best ([hjson](https://hjson.github.io/) anyone?:-) ). Either way, there should be proper grammar...
Hello! Just wondering - is there a migration plan for the [Rust Core platform](https://gitlab.com/coliasgroup/rust-seL4-demos/simple-sel4cp-demo)? It looks like @nspin made some tweaks to the seL4 kernel and to the Core Platform...
Hello! Is 32 bit ARM support on the roadmap for CP? Or is it strictly 64bit?
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...
Hello! I am porting an [existing network driver code](https://github.com/FreeRTOS/FreeRTOS-Plus-TCP/blob/main/source/portable/NetworkInterface/xilinx_ultrascale/NetworkInterface.c) to sel4cp, and the driver has a couple of `vTaskDelay()` calls (it is for FreeRTOS). Is there a recommended way of...
This PR enables users to specify a 'benchmark' config in order to use seL4's benchmarking system calls.
The benefit of a `rust-toolchain.toml` would be enabling anyone building the Microkit SDK to know that they are building it with the same toolchain that upstream used for development and...
This patch checks that a memory mapping is not at a virtual address that is greater than the maximum virtual address.