ART-linux動作原理

どうなってんの?
RT-linuxと同じマイクロカーネル?
わからん資料なさ過ぎ。