Não falou nada de novo. Hoje em dia se um kernel precisar ser criado, com toda certeza a escolha é Rust como linguagem principal, desde que a maioria dos problemas reside em problemas de memória... A única vantagem que C tem em relação a Rust é o fato de ter sido testado pelo o tempo e o amplo suporto (desde que o mundo construiu praticamente tudo com isso).