mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-03 01:30:41 +00:00
04969dcf69
When core requests all RAM from sigma0 it normally unmaps page 0 so that null-pointer dereferences are detected by a pagefault. The unmap syscall in the Fiasco.OC base platform was used insufficiently in this particular case.
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.