9f82764316
The CPU session interfaces comes with the ability to install an exception handler per thread. This patch enhances the feature with the provision of a default signal handler that is used if no thread-specific handler is installed. The default signal handler can be set by specifying an invalid thread capability and a valid signal context capability. Furthermore, this patch relaxes the requirement of the order of the calls of 'exception_handler' and 'set_pager'. Originally, the exception handler could be installed not before setting a pager. Now, we remember the installed exception handler in the 'Cpu_thread' and propagate to to the platform thread at a later time. |
||
|---|---|---|
| .. | ||
| config | ||
| doc | ||
| etc | ||
| include | ||
| lib/mk | ||
| mk | ||
| patches | ||
| run | ||
| src | ||
| Makefile | ||
| 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.