I've seen it done in networking apps: http://cnp.neclab.eu/clickos/ http://cnp.neclab.eu/clickos/ I doubt anyone is doing it in normal clouds right now, thoug

I've seen it done in networking apps: http://cnp.neclab.eu/clickos/ http://cnp.neclab.eu/clickos/ I doubt anyone is doing it in normal clouds right now, though. The L4 microkernels and L4Linux work might be worth looking into for people interested in foundations for building such things. The TUDOS demo could almost load instances as fast as I could click them on an older computer. That probably wasn't even very optimized given it's an academic prototype by academics that run through all kinds of prototypes and designs.