> There are very good kernels written in Ada, like Ironclad[1].

Interesting. Thanks.

> Besides, what's the point of this comment? What if people wanted to write a million more Unix-like kernels in C? Do you think this is bad? Why do you care?

Because it seems to me that modern OS design is caught in a deep deep rut, and the "OS in 1000 lines" article that we are discussing is digging that rut even deeper.

Don't repeat the mistakes of the past. Make interesting new mistakes. It's more fun.