"Raspberry Pi is using Armulet to run Arm code on RISC-V in the RP2350 bootrom. [...] Because of limited space, we cannot duplicate a lot of code in RISC-V, so ARM code is emulated (varmulet) on RISC-V. "An emulator inside BootROM? That's totally cursed... But kind of reasonable considering that optimizing for size via bytecode is a standard technique, the bytecode just happens to be ARM here...