Source: AustralianIT
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.

One of the main goals of sel4 is to prove the absence of bugs in an operating environment, according to Gernot Heiser, founder of Open Kernel Labs, a Nicta spin-off company.

Sel4 will ensure operating systems are foolproof, Mr Heiser said at Nicta's Techfest09 event in Sydney.

But the technology works best during the design phase of new products that are highly dependent on software, such as cars, aircraft, medical devices and defence machinery.

Here I was thinking April 1st was late this year but it is an actual product/service. Very interested to see how this develops.

haha yea i know what your saying! Maybe i should say CC Comms has developed the same thing and then just say......APRIL FOOLS.....hmmm im thinking publicity stunt!