Skip to content

Commit

Permalink
Add the seL4 Microkit project
Browse files Browse the repository at this point in the history
Signed-off-by: Ivan Velickovic <[email protected]>
  • Loading branch information
Ivan-Velickovic authored and lsf37 committed Oct 23, 2023
1 parent 9c8ef6f commit 827111d
Show file tree
Hide file tree
Showing 4 changed files with 45 additions and 0 deletions.
23 changes: 23 additions & 0 deletions _data/projects/microkit.yml
Original file line number Diff line number Diff line change
@@ -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
1 change: 1 addition & 0 deletions index.md
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down
3 changes: 3 additions & 0 deletions projects/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down
18 changes: 18 additions & 0 deletions projects/microkit/index.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
---
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
- [Microkit GitHub repository](https://github.com/sel4/microkit)
{% assign project = site.data.projects["microkit"] %}
{% for link in project.useful_urls %}
- [{{ link.label }}]({{ link.url }})
{% endfor %}

0 comments on commit 827111d

Please sign in to comment.