We've already got a very nice tool that can do things like detect when we are paravirt and optimize and patch things in a machine-specific way. It can even reorder instructions and simulate the CPU's pipeline state and do very smart optimizations based on that. It's a really neat thing, they call it "GCC". -- Ingo Molnar