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