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
l4-hackers@os.inf.tu-dresden.de