The BitC Programming Language
“BitC is a new systems programming language. It seeks to combine the flexibility, safety, and richness of Standard ML or Haskell with the low-level expressiveness of C.”
BitC seems to be an effort to get provable correct programs and thus maybe an Operating System which works flawless. They also develop coyotos which is a step in this direction.
maybe this would be a starting point to have a lightweight OS for Performant Virtual Servers.