The seL4 microkernel https://sel4.systems/

VERSION 10B

1
  1. 10.1.1-dev