Thank you - I forgot about the 68000-based consoles :) Ironic, given how many great articles about console architecture[0] have done the rounds recently! The Atari Jaguar and Sega Saturn also had 68000s among the many processors in their complex architecture, albeit explicitly as a sound coprocessor in the Saturn.

Edit: I guess I didn't exactly forget - I was restricting my mental search to the 68030 specifically. But all the 680x0 systems were cool :)

[0] e.g. https://www.copetti.org/writings/consoles/mega-drive-genesis...