Rpython's JIT is pretty good at removing administrative work from loop interiors and oo layers; one might be able to play with it to see how much practical specialisation may help? Depending upon how much of the OS ABI its generated C uses, that could be done at least in a microkernel setup, and maybe even on nearly-bare metal?