FLAWS in the code, or “kernel”, that sits at the heart of modern computers leave them prone to occasional malfunction and vulnerable to attack by worms and viruses. So the development of a secure general-purpose microkernel could pave the way for reliable computing for us all.
The microkernel, dubbed seL4, is the work of technology research company and the University of New South Wales in Australia and Open Kernel Labs. Their kernel has been pared down to the minimum amount of code needed to link the computer hardware to the applications that run on it.
The team behind seL4…
