From e2267d27378ef8d2d87bc7cb55519cd8b7232ca6 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Mon, 23 May 2022 11:12:35 +0200 Subject: [PATCH] doc: update repos/README --- repos/README | 26 ++++++++++++-------------- 1 file changed, 12 insertions(+), 14 deletions(-) diff --git a/repos/README b/repos/README index 30167a12ba..c702a3c96d 100644 --- a/repos/README +++ b/repos/README @@ -26,22 +26,22 @@ but build upon of each other: These directories contain platform-specific source-code repositories complementing the 'base' repository. The following platforms are supported: + :'hw': + The hw platform hosts Genode on a custom microkernel specifically + developed for Genode. The name "hw" denotes that Genode is executed on + bare hardware without a 3rd-party kernel underneath. + :'linux': Linux kernel (both x86_32 and x86_64) :'nova': - NOVA hypervisor developed at University of Technology Dresden + NOVA hypervisor ([https://hypervisor.org]) :'foc': Fiasco.OC is a modernized version of the Fiasco microkernel with a completely revised kernel interface fostering capability-based security. It is not compatible with L4/Fiasco. - :'hw': - The hw platform allows the execution of Genode on bare ARM and x86 hardware - without the need for a separate kernel. The kernel functionality is - included in core. - :'okl4': OKL4 kernel (x86_32 and ARM) developed at Open-Kernel-Labs. @@ -52,13 +52,12 @@ but build upon of each other: L4/Fiasco kernel developed at University of Technology Dresden. :'sel4': - seL4 microkernel developed at NICTA/General Dynamics - See[https://sel4.systems/] + seL4 microkernel ([https://sel4.systems/]) :'os': - This directory contains the non-base OS components such as the init process, - device drivers, and basic system services. + This directory contains the non-base OS components such as the init + component, device drivers, and basic system services. :'demo': @@ -78,18 +77,17 @@ but build upon of each other: upstream source code but means to download the code and adapt it to Genode. For instructions about how to use this mechanism, please consult the README file at the top level of the repository. Among the 3rd-party libraries - are Qt5, libSDL, freetype, Python, ncurses, Mesa, and libav. + are Qt5, freetype, ncurses, and Mesa. :'dde_linux': This source-code repository contains the device driver environment for - executing Linux device drivers natively on Genode. Currently, this - repository hosts the USB stack. + executing Linux subsystems as Genode components. :'dde_ipxe': This source-code repository contains the device-driver environment for - executing drivers of the iPXE project. + executing network drivers of the iPXE project. :'dde_bsd':