другое дело, что начинать писать ядро линукса на Аде будет еще больнее чем на плюсах, она ж не надмножество Си (С++ тоже не надмножество, но пересечения довольно велики и мигрироват на плюсы можно сильно плавнее чем на любой другой язык, кроме, разве что ObjC)