mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-26 05:48:29 +00:00
2e1bfe5d9b
The alternative weighted scheduler might lead to some threads don't make any progress anymore (take for example the signal test). So we have to use the fixed priority scheduler also in the kernel configuration for 64 Bit.
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.