Hi!
Did you hear about Michal Schulz' approach to bring AROS to the RasPI (big endian) und his new 68K-JIT?
The new (alpha) JIT is now reaching over 600MIPS on a RasPI3B+ and he was thinking of some kind of baremetal emulation layer himself:
"I need to complete this JIT ASAP and try to integrate it with AROS. Or maybe run the m68k JIT without any operating system directly on RasPi, as a bare metal kernel. What do you think?"
So maybe you both should talk?
https://www.patreon.com/posts/always-remember-24683131