ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-24 15:56:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
cb8910b40c
genode/base-okl4
History
Norman Feske db2b1a37ae Propagate process labels to PD sessions 
On Linux, we use the session label for naming the corresponding Linux
process. When looking up the processes via 'ps', the Genode process
hierarchy becomes immediately visible.
2012-11-05 17:31:04 +01:00
..
contrib/generated Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
doc Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
etc Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
include Propagate process labels to PD sessions 2012-11-05 17:31:04 +01:00
lib/mk Unify policy name for Native_capability_tpl. 2012-03-10 15:52:13 +01:00
mk Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
patches Heuristics for determining python2 for OKL4 2012-04-16 11:49:44 +02:00
run Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
src Introduce platform-specific services for core 2012-10-29 10:08:29 +01:00
tool Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
Makefile Check for required tools on 'make prepare' 2012-05-29 13:55:00 +02:00
README Imported Genode release 11.11 2011-12-22 16:19:25 +01:00

README 

This repository contains the implementation of Genode for the OKL4
kernel version 2.1.  For further information, please refer to the
following documents:

:[http://genode.org/community/wiki/GenodeOnOKL4 - Genode on OKL4 Wiki page]:
  This Wiki page contains the information on how to build and use
  Genode with OKL4.

:[http://genode.org/documentation/articles/genode-on-okl4 - Bringing Genode to OKL4]:
  This article explains the OKL4-specific porting work.