genode/base-foc
Christian Prochaska 452624e1a6 Fiasco(.OC) KDB UART driver
The KDB UART driver uses the Fiasco(.OC) kernel debugger console as backend
for input and output. This is useful in the case that only one UART is
available.

Fixes #665.
2013-03-18 15:28:16 +01:00
..
config foc: Add 'uboot' spec to Arndale 2013-02-25 16:45:48 +01:00
doc base-foc: remove links to obsolete initrd archives 2013-03-14 10:50:33 +01:00
etc Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
include base-foc: Improve documentation of signal_session 2013-03-06 11:23:52 +01:00
lib/mk foc: Make context area configurable in core 2013-02-25 16:45:48 +01:00
mk foc: Add 'uboot' spec to Arndale 2013-02-25 16:45:48 +01:00
run Fiasco(.OC) KDB UART driver 2013-03-18 15:28:16 +01:00
src foc: Extend irq mode heuristics 2013-03-14 19:24:52 +01:00
Makefile foc: SVN revision r47 2013-02-25 16:45:49 +01:00
README Imported Genode release 11.11 2011-12-22 16:19:25 +01:00

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.