2 ms·Genode lets you choose from a range of microkernels on which you'd like the system to run.by jdub 9y agoGenode lets you choose from a range of microkernels on which you'd like the system to run.