From 98c7880f2c6ae0c2d7769e3c6e0f000a4394e462 Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Thu, 19 Oct 2023 13:04:01 +1100
Subject: [PATCH] Add the seL4 Microkit project

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 _data/projects/microkit.yml | 23 +++++++++++++++++++++++
 index.md                    |  1 +
 projects/index.html         |  3 +++
 projects/microkit/index.md  | 13 +++++++++++++
 4 files changed, 40 insertions(+)
 create mode 100644 _data/projects/microkit.yml
 create mode 100644 projects/microkit/index.md

diff --git a/_data/projects/microkit.yml b/_data/projects/microkit.yml
new file mode 100644
index 0000000000..9e506cd84c
--- /dev/null
+++ b/_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
diff --git a/index.md b/index.md
index e33cdd59ed..430e8aa803 100644
--- a/index.md
+++ b/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>
diff --git a/projects/index.html b/projects/index.html
index 98f033f56b..fddec8e5b1 100644
--- a/projects/index.html
+++ b/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>
diff --git a/projects/microkit/index.md b/projects/microkit/index.md
new file mode 100644
index 0000000000..aa2132d325
--- /dev/null
+++ b/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).