Updated links in top-level README
This commit is contained in:
parent
42b09924e1
commit
3b3e78b52d
34
README
34
README
|
@ -74,35 +74,41 @@ The Genode source tree is composed of the following subdirectories:
|
||||||
:'linux':
|
:'linux':
|
||||||
Linux kernel (both x86_32 and x86_64)
|
Linux kernel (both x86_32 and x86_64)
|
||||||
|
|
||||||
:'pistachio':
|
:'nova':
|
||||||
L4ka::Pistachio kernel developed at University of Karlsruhe.
|
NOVA hypervisor developed at University of Technology Dresden
|
||||||
See [http://genode.org/community/wiki/GenodeOnL4kaPistachio]
|
See [http://genode.org/documentation/platforms/nova]
|
||||||
|
|
||||||
:'fiasco':
|
|
||||||
L4/Fiasco kernel developed at University of Technology Dresden.
|
|
||||||
See [http://genode.org/community/wiki/GenodeOnL4Fiasco]
|
|
||||||
|
|
||||||
:'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.
|
||||||
See [http://genode.org/community/wiki/GenodeOnFiascoOC]
|
See [http://genode.org/documentation/platforms/foc]
|
||||||
|
|
||||||
|
:'hw':
|
||||||
|
The hw platform allows the execution of Genode on bare ARM hardware
|
||||||
|
without the need for a separate kernel. The kernel functionality is
|
||||||
|
included in core.
|
||||||
|
See [http://genode.org/documentation/platforms/hw]
|
||||||
|
|
||||||
:'okl4':
|
:'okl4':
|
||||||
OKL4 kernel (x86_32 and ARM) developed at Open-Kernel-Labs.
|
OKL4 kernel (x86_32 and ARM) developed at Open-Kernel-Labs.
|
||||||
See [http://genode.org/community/wiki/GenodeOnOKL4]
|
See [http://genode.org/documentation/platforms/okl4]
|
||||||
|
|
||||||
:'nova':
|
:'pistachio':
|
||||||
NOVA hypervisor developed at University of Technology Dresden
|
L4ka::Pistachio kernel developed at University of Karlsruhe.
|
||||||
See [http://genode.org/community/wiki/GenodeOnNOVA]
|
See [http://genode.org/documentation/platforms/pistachio]
|
||||||
|
|
||||||
|
:'fiasco':
|
||||||
|
L4/Fiasco kernel developed at University of Technology Dresden.
|
||||||
|
See [http://genode.org/documentation/platforms/fiasco]
|
||||||
|
|
||||||
:'codezero':
|
:'codezero':
|
||||||
Codezero microkernel developed by B-Labs
|
Codezero microkernel developed by B-Labs
|
||||||
See [http://genode.org/community/wiki/GenodeOnCodezero]
|
See [http://genode.org/documentation/platforms/codezero]
|
||||||
|
|
||||||
:'mb':
|
:'mb':
|
||||||
Support for running Genode natively on the MicroBlaze softcore CPU.
|
Support for running Genode natively on the MicroBlaze softcore CPU.
|
||||||
See [http://genode.org/community/wiki/GenodeOnMicroBlaze]
|
See [http://genode.org/documentation/platforms/microblaze]
|
||||||
|
|
||||||
:'host':
|
:'host':
|
||||||
Pseudo platform documenting the interface between the generic and
|
Pseudo platform documenting the interface between the generic and
|
||||||
|
|
Loading…
Reference in New Issue