Ok, se você preferir um kernel para dispositivos embarcados ou sistema com restrições em tempo real, eu escolheria o kernel do Linux ou qualquer outra versão relacionada para o embedded ou o tempo real. Mas esta é apenas a minha opinião. Pesquisando um pouco eu encontrei este slides , que pode ajudá-lo a decidir.
Espero que isso ajude você.