No, I have no desire to buy AmigaOS, for any platform.
If Linux did not exist, AmigaOS might be a sensible choice for x86 legacy hardware. Linux does exist.
ARM isn't quite a hardware architecutre of processor as such, so I'm a bit puzzled where you got that idea from. If you mean porting it to the Raspberry Pi, then yes, that might change things a lot...
... oh wait, you can also get Linux for Raspberry Pi. Even real time variants, which was ideally what the Amiga experience was supposed to be, and never quite managed to do.
Trying to be a bit more positive... I think what the developers need to do is find a use for which AmigaOS a really good choice, find the hardware needed, and write for that.
If you want a suggestion - 3D printing and CAM. Robotics. That has quite a bit of native support already, from the 3D design side. it's just that nobody tried the Amiga for doing that sort of stuff. Least, not that I know about. It's certainly a growing market, so if you can get your foot in it, you should do OK.
The vast majority of 3D printers use an 8 bit Arduino Mega, and quite frankly, it sucks when it comes to precise calculation. It's good enough for current use but it's a dead end for higher res printing at high speed. Get AmigaDOS on the Pi, that should change both scenes dramatically. Even a cut down version for just embedded applications. That sort of development tool usually costs $$$, it shoudd be a way to get a fair price for your product, if you are the only people selling Pis with an embedded controller OS and control hardware aimed at robotics. You could even make the dev tools freely available and just supply the conditioned Pis.
16 and 32 bit controllers for 3D printers typically retail for about $120 upwards. There are some ch,eaper alternatives that were built to the wrong spec, but that's the market, and it's not hard to compete with that if you build and supply a control Hat around the Pi.
Currently, there's an awful lot of people plugging 32 bit Arduinos into old 8 bit control Hats and blowing them up. The market is crying out for a dedicated, cheap, and reliable controller. Pi is the brains. Design the Hat. Program for Amiga.
Most of the controller firmware is open source C. "Marlin", to be precise. It's not bad, but on an 8 bit Arduino, it jogs just to keep track of where the print head is.