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).
http://www.australianit.news.com.au/story/0,24897,25919763-15306,00.html