A recent microkernel design from Bunnie Huang and collaborators. Not a Unix-like; instead, a microkernel, broadly inspired by QNX, but presumably also drawing on modern securable microkernels like seL4.