microkit
microkit copied to clipboard
seL4
Microkit - A simple operating system framework for the seL4 microkernel
The approach of using `seL4_NBSendRecv` in the event handler loop of libmicrokit when PDs essentially 'make' themselves passive by sending a message to the monitor is not ideal for multiple...
Initial CI has been added just to double-check PRs that *look* like they don't break anything. We will of course need proper CI that also tests the SDK. This will...
Currently, the MicroKit tool fails if symbols it plans to patch (e.g. `microkit_name` or those referred to by `setvar_vaddr`) aren't present. One example of a case where this is inconvenient...
# Motivation These artefacts are needed as part of the verification pipeline, these concatenated files are cleaned and then fed into the C parser.
Partially resolves https://github.com/seL4/microkit/issues/70 **TL;DR;** I added an XSD schema for validating the system XMLs. You are currently using numbers with underscores, such as `period="100_000"` which is *not* a valid XML...
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...
I added the rock pro to Ivan's fork: https://github.com/Ivan-Velickovic/microkit and I was able to boot the hello example on the rockpro64 without issues. I have added my changes against the...
Can `seL4` kernel be added as a _submodule_ to Microkit? That way the build is always reproducible - I know you have a version listed in the README, but this...
I'm trying to build the zcu102 hello example with SEL4CP_CONFIG set to "release" but it fails with the error message: ``` Traceback (most recent call last): File "runpy", line 197,...
Hi, following up on #15 I am looking into adding support for RISCV, specifically for the [Polarfire Icicle kit](https://docs.sel4.systems/Hardware/polarfire.html). Besides the obvious changes in `build_sdk.py` and makefiles (mostly replace the...