A new and allegedly super secure microkernel was made open source today, a move that could have serious security implications across a number sensitive and increasingly connected fields. General ...

However, SeL4 can be used, in theory, as a foundation for Linux and other Unix related operating systems. For example, it was briefly considered for use in Richard M. Stallman's still-born Gnu Hurd ...

OKL4, Open Kernel Labs' commercial version of the L4 microkernel, provides the required features for next-generation medium- to high-end embedded systems. These include virtualization and protection ...

Sydney, Australia – The National ICT Australia (NICTA) laboratory has developed an advanced open source operating system (OS) that it thinks will increase the security, reliability, and ...

Government backed ICT research centre, National ICT Australia (NICTA), has collaborated with QUALCOMM to use its mobile operating system versions with QUALCOMM chipsets. Under the collaborative ...

The port is only in prototype stage and according torelease notes “currently only supports running in 64-bit mode without FPU or multicore support on the Spike simulation platform.” “There is no ...

Australian researchers have demonstrated a way to prove core software for mission-critical systems is safe. The researchers on Thursday said they can prove mathematically that code they have developed ...

The seL4 microkernel, the “world’s most highly assured OS”, has just been released as open source, which will help it evolve beyond its military use, says NICTA. seL4 is a joint project between NICTA ...

A new global foundation will help Australia’s government scientific research organisation dramatically expand the reach of a mathematically-verified secure operating-system kernel for applications ...

The development of the world's first formally proved general purpose operating system by Australian researchers has garnered interest from within the intelligence community as a potential solution to ...