Performance-wise, I think some of the functional languages with good compilers could actually be used to accomplish such a feat. It's just that it would be much harder than it is in C (and much more awkward) because when you're dealing with bare-metal type of programming, you're better off using a bare-metal type of programming language.

It's not like there wouldn't be some university types who'd try nonetheless...

Steffem