From f8293a724636bcb6852adfd2f54a32137b98ef6b Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Thu, 19 Oct 2023 12:39:29 +1100 Subject: [PATCH 1/2] Remove seL4 Core Platform from community projects The seL4 Core Platform (now known as seL4 Microkit) is now an official project of the seL4 foundation and hence is no longer a community project. Signed-off-by: Ivan Velickovic --- CommunityProjects.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/CommunityProjects.md b/CommunityProjects.md index 1241166ffc..c1cef10478 100644 --- a/CommunityProjects.md +++ b/CommunityProjects.md @@ -32,8 +32,6 @@ See also the list of [Projects at Trustworthy Systems](https://trustworthy.syste - [CamkES](https://trustworthy.systems/projects/TS/camkes) to build [Trustworthy components](https://trustworthy.systems/projects/TS/trustcomp) -- [seL4 Core Platform](https://github.com/BreakawayConsulting/sel4cp) -personality for seL4 - [Genode](https://genode.org) - [RefOS](https://github.com/seL4/refos) was created as reference OS - [Neptune OS](https://github.com/cl91/NeptuneOS) is a WinNT personality From 0dce8a8df03e772650cc0aa9e0a135a0eb066cc3 Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Thu, 19 Oct 2023 13:04:01 +1100 Subject: [PATCH 2/2] Add the seL4 Microkit project Signed-off-by: Ivan Velickovic --- _data/projects/microkit.yml | 23 +++++++++++++++++++++++ index.md | 1 + projects/index.html | 3 +++ projects/microkit/index.md | 18 ++++++++++++++++++ 4 files changed, 45 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
  • seL4 kernel
  • L4.verified
    • +
  • seL4 Microkit
  • CAmkES
  • seL4test
  • seL4bench
    • 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 @@

    Projects

    {% include project-grid-element.html project='camkes' %}
    +
    + {% include project-grid-element.html project='microkit' %} +

    Tutorials and Examples

    diff --git a/projects/microkit/index.md b/projects/microkit/index.md new file mode 100644 index 0000000000..e8b3eddb65 --- /dev/null +++ b/projects/microkit/index.md @@ -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 %}