microkit
microkit copied to clipboard
Published
20 hours ago •
seL4
seL4
Proper CI
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 include
- Tests of basic functionality that do not depend on specific hardware. Some tests exist, but not enough.
- Building and executing (when possible) the examples for each hardware platform.
- Figuring out every dependency Microkit has and what version of each dependency to pin it to. This needs to be done systematically, the only way I know of doing that is via Nix. We could look into a Docker container as well.
- Checking that the Microkit tool still type checks with
mypy. - Documenting how contributors can reproduce each step of CI.
- From https://github.com/seL4/microkit/pull/62, we should also test using non-GCC tools to produce a Microkit system.
We should also discuss whether to make available a 'mainline' build of the SDK for download for those who want to use the latest version.
