search

seL4 / microkit

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

LICENSE file adjustments #57

Closed lsf37 closed 9 months ago

lsf37 commented 9 months ago
Ivan-Velickovic commented 9 months ago

What about the LICENSES directory?

lsf37 commented 9 months ago

What about the LICENSES directory?

Leaving that one for a separate PR, because I'm currently not set up to test the script properly. But it should also be copied into the SDK, yes.