Здравствуйте, _NN_, Вы писали:

lpd>>Получится, что для существенной части кода будет запрет на исключения, либо смесь чистого C и C++ с переходниками. Все это многоплатформенно. И стоит ли игра свеч? Особенно если учесть, что stl полностью с std::thread не будет.
_NN>Как минимум наличии типа как ссылки (для защиты от нулевых указателей) и возможность писать шаблонный код (который вообще может вылиться в оптимизацию во время компиляции) уже могли бы исключить многие ошибки на этапе разработки.

Для защиты от нулевых указателей первые страницы памяти по адресу 0 отображаются особенным образом и при обращении выдают исключение. Причем это исключение не вешает ядро, а записывается в лог.
В некоторых случаях в ядре могли бы быть полезными именно объекты/классы, которые сейчас реализованы несколько костыльно через макросы. Но вообще, объекты нужны для моделирования предметной области в коде, а ядро занимается не этим.