ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 21:27:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

doc: update repos/README

Browse Source
This commit is contained in:
Norman Feske 2022-05-23 11:12:35 +02:00 committed by Christian Helmuth
parent 31fe7afbc4
commit e2267d2737
1 changed files with 12 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
repos/README
View File

@ -26,22 +26,22 @@ but build upon of each other:
These directories contain platform-specific source-code repositories These directories contain platform-specific source-code repositories
complementing the 'base' repository. The following platforms are supported: 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':
Linux kernel (both x86_32 and x86_64) Linux kernel (both x86_32 and x86_64)
:'nova': :'nova':
NOVA hypervisor developed at University of Technology Dresden NOVA hypervisor ([https://hypervisor.org])
:'foc': :'foc':
Fiasco.OC is a modernized version of the Fiasco microkernel with a Fiasco.OC is a modernized version of the Fiasco microkernel with a
completely revised kernel interface fostering capability-based completely revised kernel interface fostering capability-based
security. It is not compatible with L4/Fiasco. 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':
OKL4 kernel (x86_32 and ARM) developed at Open-Kernel-Labs. 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. L4/Fiasco kernel developed at University of Technology Dresden.
:'sel4': :'sel4':
seL4 microkernel developed at NICTA/General Dynamics seL4 microkernel ([https://sel4.systems/])
See[https://sel4.systems/]
:'os': :'os':
This directory contains the non-base OS components such as the init process, This directory contains the non-base OS components such as the init
device drivers, and basic system services. component, device drivers, and basic system services.
:'demo': :'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. 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 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 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': :'dde_linux':
This source-code repository contains the device driver environment for This source-code repository contains the device driver environment for
executing Linux device drivers natively on Genode. Currently, this executing Linux subsystems as Genode components.
repository hosts the USB stack.
:'dde_ipxe': :'dde_ipxe':
This source-code repository contains the device-driver environment for 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': :'dde_bsd':