search

seL4 / microkit

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

Making board and example arguments in dev_build.py required #43

Closed Ivan-Velickovic closed 9 months ago

Ivan-Velickovic commented 9 months ago

Both these arguments are required, invoking the dev_build.py script without them causes a confusing error. This patch fixes that.