search

seL4 / microkit

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

dev_build: add option to explicitly pass config #63

Closed Ivan-Velickovic closed 9 months ago

Ivan-Velickovic commented 9 months ago

Useful for debugging/testing the release configuration.