There has been some interesting work done with self hosting virtual machines
for languages like http://halvm.org/wiki/
It seems some what self defeating to try to recreate the device drivers to
run on actual hardware. But a minimal python environment running on KVM
would be of pratical use to many
In general using STM for shared state concurrency in everything is mutable
languages like python seems to be destined for failure. Haskell and Clojure
both limit mutability and can use STM effectively. The C# team put
extraordinary effort into doing a STM for the CLR and failed miserably.
It looks
