To keep this conversation going. I am also wondering about running ELF files under QEMU. I see that they have native support for running Makcode Microbit HEX binaries in there emulator. Gonna try to log some time in the next week to check out ARM support and if I can get ELF binararies running locally that way.