docs/system/arm/max78000.rst advises to use $ qemu-system-arm -machine max78000fthr -kernel max78000.bin -device loader,file=max78000.bin,addr=0x10000000
My locally built qemu-system-arm rejects this with
qemu-system-arm: unsupported machine type: "max78000fthr"
Use -machine help to list supported machines
What's going wrong here?
