ITRONというかT-Kernelだけど、その上でAndroidは動かせるよ。
つ ttp://www.esol.co.jp/archive/news/com_press100201.html

T-Kernelをハイパーバイザとして、Linuxを動かしてるんじゃなくて、
POSIX互換レイヤまで実装して、Dalvikを動かしてる。