From f87209f822721f0b07bc3ddc3e3189e8c13f4305 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Mon, 23 May 2022 11:37:06 +0200 Subject: [PATCH] Mention supplemental repos in top-level README --- README | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/README b/README index f27f12236f..c68e549481 100644 --- a/README +++ b/README @@ -13,8 +13,8 @@ the project's official website: [https://genode.org/documentation/general-overview] The current implementation can be compiled for 8 different kernels: Linux, -L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, seL4, and a custom -kernel for running Genode directly on ARM-based hardware. Whereas the Linux +L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, seL4, and a custom "hw" +microkernel for running Genode without a 3rd-party kernel. Whereas the Linux version serves us as development vehicle and enables us to rapidly develop the generic parts of the system, the actual target platforms of the framework are microkernels. There is no "perfect" microkernel - and neither should there be @@ -85,6 +85,17 @@ The source tree is composed of the following subdirectories: keys and download locations of software providers. +Additional hardware support +########################### + +The framework supports a variety of hardware platforms such as different ARM +SoC families via supplemental repositories. + +:Repositories maintained by Genode Labs: + + [https://github.com/orgs/genodelabs/repositories] + + Additional community-maintained components ##########################################