search

seL4 / microkit

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

Minor internal improvements #1

Closed bennoleslie closed 2 years ago

bennoleslie commented 2 years ago

A set of minor fixes that do not change the built SDK (so no version change required).

Largest change is the new dev_build.py script that makes development of the sel4cp easier.