From 45469d3a9258ee4172cdac6499336213b7cc12d1 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Thu, 1 Jul 2021 08:56:43 +1000 Subject: [PATCH] add CII best practices badge Signed-off-by: Gerwin Klein --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index ea4cbf9e3..67a44a1f3 100644 --- a/README.md +++ b/README.md @@ -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