search

seL4 / microkit

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

libmicrokit: style #121

Closed Ivan-Velickovic closed 2 months ago

Ivan-Velickovic commented 2 months ago

Needed for https://github.com/seL4/microkit/pull/120.