На заданный вопрос могу ответить только так: не нужно переписывать существующее ядро на другом языке, чтобы получить новую ОС. Так не получишь новую ОС, которая должна учитывать новые реалии.
В указанном автором темы
обсуждении, речь не столько о выборе языка для написания новой ОС, сколько о необходимости или отсутствии необходимости переделки ядра.
Перед тем, как браться за переделку ядра, на мой взгляд, стоит посмотреть на "соседей" (FreeBSD, QNX, различные ядерные RTOS и т.д.), какие у них тенденции и результаты в этом вопросе, разбежались ли они делать коренные изменения или наоборот, они явно озабочены развитием инфраструктуры своей ОС, написанием массы прикладного и системного ПО.
