While we're at it you can add the ucsd p-system to that group, although there was actually one iteration of it that came bundled with its own hardware (by Western Digital, with an overly complicated CPU design implemented partially in discretes!) rather than the other way around using platform-independent VMs. Sort of anticipating the similarly forgotten PicoJava project.