Add the modern L4 microkernels to that list, e.g.: https://github.com/l4ka/pistachio