portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add CII best practices badge

Browse source 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2021-07-01 08:56:43 +10:00 committed by Gerwin Klein
parent 89e7d01ade
commit 45469d3a92
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -7,6 +7,8 @@
The seL4 microkernel
====================
[![CII Best Practices](https://bestpractices.coreinfrastructure.org/projects/5003/badge)](https://bestpractices.coreinfrastructure.org/projects/5003)
This project contains the source code of seL4 microkernel.
For details about the seL4 microkernel, including details about its formal