From 95a4ab3899c221a40907019ed4563b4b50bf3934 Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Thu, 19 Oct 2023 13:11:44 +1100 Subject: [PATCH] README: mention roadmap Signed-off-by: Ivan Velickovic --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 6a578835..ce2b8b8a 100644 --- a/README.md +++ b/README.md @@ -17,6 +17,8 @@ The Microkit is distributed as a software development kit (SDK). This repository is the source for the Microkit SDK. +The development of Microkit is on-going, more information can be found on the [roadmap](https://github.com/seL4/microkit/issues/61). + If you are *developing* Microkit itself this is the repo you want! If you are a system designer and want to *use* the Microkit SDK please download a pre-built SDK.