seL4 / sel4runtime

A minimal runtime for seL4 applications.
Other
12 stars 29 forks source link

Foundation setup and SPDX tags #9

Closed lsf37 closed 3 years ago

lsf37 commented 3 years ago

The standard setup with CC-BY-SA-4.0 for documentation.