Ада с рустом это как мягкое с солёным.
Раст это про функциональщину и безопасность памяти.
Ада это структурированный объектный подход и надежность.

Раст ищет компромисс между системным и прикладным программированием. Между скоростью кода, скоростью разработки, и количеством ошибок.

Ада же ставит целью создание максимально детерминированных программ не делающих ничего лишнего но делающих всё нужное. Исполняемых максимально однообразно. При этом код должен быть максимально прозрачный и читаемый человеком.

Поэтому Ада в принципе один из самых подходящих языков для написания ОС, любой.
Только на ней и нужно писать такие вещи(можно ли другой вопрос).

Раст это не особо про надежность, не фонтан(не фортран лол) в целом, но есть в нем и плюсы, я ставлю его в категорию - и так сойдёт.