I've done a lot of research into Lisp machines and a little bit into Smalltalk machines (Renraku is a spiritual successor to the Lisp machines of yore), but I'm seeing this is more of a joining of the Jazelle Java acceleration on ARM and the managed OS work in Renraku.
That said, for the nitty gritty details, such things are certainly the place to look. They've solved many of the problems already.
That said, for the nitty gritty details, such things are certainly the place to look. They've solved many of the problems already.