NICTA micro-kernel trailblazers slurped by US defense giant

I believe this is OK Lab's L4 "microvisor", which has Symbian, Linux, and Android guest operating systems.

https://en.wikipedia.org/wiki/OK_Labs#Products