mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 15:32:25 +00:00
90bea1499e
Adjust the base-* platforms to acknowledge new thread location solely if migration is supported and succeeded. Otherwise the wrong thread locations are observed via the trace session and utilization time calculation get wrong. Issue #3842 |
||
---|---|---|
.. | ||
config | ||
etc | ||
include | ||
lib | ||
patches | ||
ports | ||
recipes/src | ||
run | ||
src | ||
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.