A new software component that ensures an operating system will never
crash has been developed in Australia, and is potentially destined to earn billions of dollars in royalties. The secure embedded L4 (sel4) micro-kernel is the result of around five years’ research at National ICT Australia (Nicta). A kernel manages a computer system’s resources, including memory and processors. Like a traffic warden, it checks
if the roads are clear before letting school children or vehicles pass
Share this Story