posted by jimmy1971 on Thu 27th Jan 2011 22:21 UTC
Icon"National ICT Australia, in conjunction with Open Kernel Labs, has released new software aimed at researchers, developers and manufacturers that has the ability to protect computer hardware from failure or being attacked. The seL4 microkernel is a small operating system kernel which regulates access to a computer's hardware and is able to distinguish between trusted and untrusted software."
e p (0)    4 Comment(s)

Technology White Papers

See More