Sorry, my mistake. that's Console::enable in console.hpp which seems to have nothing with interruptions.
------------------------------------------------------------------------------ _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
