Personally, I think "binary compatibility" is a "fool's quest". Too many limitation to truly maximize performance.
Yeah, off course, but the problem about things like
minimig is the AmigaOS & binary applications! With AROS&C (kernel and applications) sources you can do whatever you want, patching things, porting to Coldfire, PowerPC, X86, whatever (in the theory).
I think that is the reason why guys have started project like Natami/Apollo/Vampire/Phenix SuperScalar CPU made in fpga

i mean, i think they wanted performances and full 100% compatibility with the real hardware (in case we are speaking about 68000 and 68020, something mounted on Amiga500 and Amiga1200)
Motoorola did design and build a PowerPC chip for embedded (automotive) application, but that seems to have died out also.
my jobs is related to automotive, i am junior profiled but i can say our customers and all my four bosses are addicted for PowerPC quadric core, e.g. the
e500 series used in Formula1 and MotoGB

Also Avionics is using PowerPC, made by IBM or AMCC, i mean PPC440, PPC460, or something like that (it may also be PPC405), they should be made around the PowerPC 603 core