ну, а что туда еще ставить? не, ну можно bsd, или самим что-то написать конечно.
вы говорите про операционные системы для типичных x86-конплюктеров.
есть другие операционные системы, больше подходящие под эти задачи.
вы про них, возможно, ни разу в жизни не слышали а может и не услышите