mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-18 08:11:02 +00:00
This patch overhauls the signal handling of nitpicker to clear the way towards dynamic reconfiguration. Furthermore, it moves the implementation of the global-keys handling and input utilities to separate files.