Fork of the Genode OS framework
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Emery Hemingway b20ca5f254 Revert "Core: exit with child exit value" 2 years ago
..
config foc: update to current github version (fix #3402) 3 years ago
doc foc: update to recent revision r79 (fix #2884) 4 years ago
etc base-foc: remove obsolete mk files 5 years ago
include foc: increase USER_BASE_CAP 3 years ago
lib depot: support for ARM 64-bit for base-foc on rpi3 3 years ago
patches foc: update to current github version (fix #3402) 3 years ago
ports foc: update to current github version (fix #3402) 3 years ago
recipes/src depot: update recipe hashes 2 years ago
run Remove obsolete RAM/CAP services from run scripts 5 years ago
src Revert "Core: exit with child exit value" 2 years ago
README Move repositories to 'repos/' subdirectory 8 years ago

README

This repository contains the port of Genode to the Fiasco.OC microkernel.
For further information, please refer to the following documents:

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

:[http://os.inf.tu-dresden.de/fiasco]:
Official website for the Fiasco.OC microkernel.