3 ms·Genode works on a variety of L4-based kernels, probably what you want to look at.by justincormack 12y agoGenode works on a variety of L4-based kernels, probably what you want to look at.