Iguana and NICTA::Pistachio-embedded (yes, the two together), a new open-source operating system for mobile phones and embedded devices has been released by the ERTOS group of NICTA and adopted by Qualcomm for some of their phones. Iguana is a small and secure OS which runs on top of the L4 microkernel. It also runs Linux as an application alongside trusted programs, giving backward compatibility with legacy software. The system currently works on ARM, x86, and MIPS64.
You gotto admit: calling Linux software ‘legacy’ is funny
‘sif microkernels. They’re saying ‘legacy’ just cause they’re still pissed at linus.
So is the jury back yet? Do microkernels suck or blow?