5 ms·It looks to be a capability-based microkernel in the spirit of L4 and Green Hills' Integrity.by jnwatson 9y agoIt looks to be a capability-based microkernel in the spirit of L4 and Green Hills' Integrity.