Comment by chuckadams

On Apple devices it's L4/Darwin, aka "sepOS".