The concept of a "system programming language" was always suspicious to me. I feel like the best way of making an operating system is to start with a minimal virtual machine for some high-level language, and then write all the rest in that. Forth, LISP, Lua, whatever. It worked back when computers had a fraction of the speed and resources they have today, I don't see why it wouldn't work today.