mirror of https://github.com/seL4/microkit.git
![]() Co-authored-by: Ivan Velickovic <i.velickovic@unsw.edu.au> Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems> |
||
---|---|---|
.. | ||
BSD-2-Clause.txt | ||
CC-BY-SA-4.0.txt | ||
LicenseRef-Trademark.txt |