The ultimate way to keep your computer safe from harm.

KERNEL functions; COMPUTER security; COMPUTER reliability; NATIONAL ICT Australia Ltd.; UNIVERSITY of New South Wales; OPEN Kernel Labs Inc.

The article offers information on microkernel or seL4, which was developed to create secure computer code that can be applied on any system that needs security and reliability. The microkernel is developed by technology research company NICTA and the University of New South Wales in Australia and Open Kernel Labs. It was formulated with a model that has over 200,000 logical steps that allowed researchers to prove that the program will always operate as intended.