seL4 / microkit

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

foundation templates #56

Closed lsf37 closed 9 months ago

lsf37 commented 9 months ago

Putting those files into the .github directory makes them available in the GitHub UI for new pull requests etc.

It might make sense to extend the CONTRIBUTING.md file with specifics for the microkit, e.g. who is currently managing it, how to contact etc. Not super urgent, though. (The link to the TSC is required by the charter, the rest can be adapted).