I played a bit of Super Mario 64 using an early version of Daedalus, so it was more than a rumour :>

Granted, it ran at about 80-90% realtime speed, and audio was a no-go, but maybe that improved in later releases.