Open Kernel Labs Developed First Ever Hack Free Software
Open Kernel Labs (OK Labs), that develops microkernel-based hypervisors and operating systems for embedded systems developed ‘seL4’ microkernel – first ever hack free software in the world. ‘seL4’ microkernel is a small OS kernel which regulates access to a computer’s hardware. […]