Вообще если рассматриваются другие языки, нежели С, то не знаю, почему не сделать выбор в пользу нормального, современного и actually спроектированного языка, а не плюсов. Или сделать на С минимальный кусочек, а остальное на чем угодно.
А могут ли быть эффективны ОС, в которых система работает по принципу виртуальной машины beam, а все приложения в юзерспейсе написаны на интерпретируемом языке?