Не, ну ТемплОС это плод воспалённого разума, а Алан Кей всё же как раз известен как один из ключевых визионеров околокомпьютерной области
С одной стороны, да, с другой стороны проблематика в общем одна, либо у тебя ос умеет так мало, что ты уходишь это в 10к строк, либо умеет много и не уложишь. В принципе понятно, что в 10к можно положить бутлоадер, шедулер, три драйвера и маленький шелл, но встаёт вопрос, зачем.