mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-02 01:08:13 +00:00
8c4e1b7eb0
Required to allocate memory to remember per session created capabilities. During session destruction all capabilities have to be freed up.
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.