For those who haven't looked at l4hq.org recently: NICTA and Ericsson have announced a research collaboration, among others on secure embedded operating systems. This is based on NICTA's L4-embedded/Iguana operating system. Gernot