denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

doc: update README, components.txt

Browse Source
This commit is contained in:
Christian Helmuth
2016-02-25 10:39:26 +01:00
committed by Norman Feske
parent 66006a0313
commit 9b69c93736
2 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
repos/README
View File

@@ -40,10 +40,12 @@ but build upon of each other:
See [http://genode.org/documentation/platforms/foc]
:'hw':
The hw platform allows the execution of Genode on bare ARM hardware
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.
See [http://genode.org/documentation/platforms/hw]
included in core except in the special case of the Muen separation
kernel.
See [http://genode.org/documentation/platforms/hw] and
[http://genode.org/documentation/platforms/muen]
:'okl4':
OKL4 kernel (x86_32 and ARM) developed at Open-Kernel-Labs.