search

seL4 / microkit

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

build_sdk.py: add support for skipping tool #150

Closed nspin closed 4 days ago

nspin commented 4 days ago

An extension of https://github.com/seL4/microkit/pull/131

Adds the --skip-tool flag.

Cargo takes some special care to work in hermetic build environments such as Nix. One good way to deal with all such cases at once is to provide the option to skip building the tool entirely and allow those more particular build environments to take care of building the tool themselves.

Ivan-Velickovic commented 4 days ago

Thanks for explaining the motivation.