mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 08:03:59 +00:00
54e08cfed5
Introduce process global spin-lock for Cap_index's reference-counter to avoid non-atomic increment/decrement of the counter. Here, we don't use a static Spinlock object, because it's constructor wouldn't be initialized before used for the first time.
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.