seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
68 stars 37 forks source link

Remove mention of musl dependency #130

Closed Ivan-Velickovic closed 1 month ago

Ivan-Velickovic commented 1 month ago

Dependency on musl is thankfully gone now! While we still use the *-musl targets for the tool that is now rewritten in Rust instead of using Python/pyoxidizer, it is not dependent on the musl-gcc toolchain.