Add the seL4 Microkit project

Signed-off-by: Ivan Velickovic <[email protected]>

_data/projects/microkit.yml

@@ -0,0 +1,23 @@
+# SPDX-License-Identifier: BSD-2-Clause
+# Copyright 2020 seL4 Project a Series of LF Projects, LLC.
+
+name: microkit
+display_name: Microkit
+description: A simple operating system framework for developing systems on top of seL4
+project_order: 10
+
+useful_urls:
+    - label: "Microkit user manual"
+      url: "https://github.com/seL4/microkit/blob/main/docs/manual.md"
+    - label: "Microkit tutorial"
+      url: "https://trustworthy.systems/projects/microkit/tutorial"
+    - label: "Microkit development roadmap"
+      url: "https://github.com/seL4/microkit/issues/61"
+    - label: "Trustworthy Systems Microkit project"
+      url: "https://trustworthy.systems/projects/microkit"
+
+repositories:
+  - org: sel4
+    repo: microkit
+  - org: au-ts
+    repo: microkit_tutorial

index.md

@@ -50,6 +50,7 @@ This documentation site is for cooperatively developing and sharing documentatio
 	<ul>
         <li><a href="/projects/sel4/">seL4 kernel</a></li>
         <li><a href="/projects/l4v/">L4.verified</a></li>
+        <li><a href="/projects/microkit/">seL4 Microkit</a></li>
         <li><a href="/projects/camkes/">CAmkES</a></li>
         <li><a href="/projects/sel4test/">seL4test</a></li>
         <li><a href="/projects/sel4bench/">seL4bench</a></li>

projects/index.html

@@ -25,6 +25,9 @@ <h1>Projects</h1>
   <div class="col">
   	{% include project-grid-element.html project='camkes' %}
   </div>
+  <div class="col">
+    {% include project-grid-element.html project='microkit' %}
+  </div>
  </div>
 
 <h2> Tutorials and Examples </h2>

projects/microkit/index.md

@@ -0,0 +1,13 @@
+---
+title: Microkit
+SPDX-License-Identifier: CC-BY-SA-4.0
+SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
+---
+
+# The seL4 Microkit
+
+The seL4 Microkit is an operating system framework on top of seL4 provides a small set of simple abstractions that ease the design and implementation of statically structured systems on seL4, while still leveraging the kernel’s benefits of security and performance.
+
+The Microkit is distributed as an SDK that integrates with the build system of your choice, significantly reducing the barrier to entry for new users of seL4.
+
+More information can be found on the [GitHub repository](https://github.com/sel4/microkit).