> license of AmigaOS4 explicitly forbid running AmigaOS4 on anything
> else but AmigaOne branded systems (or classics with PPC)? Those
> terms coming from the then-rightsholders of "The Name"

I don't think that's true. The Micro-A1 was never an "AmigaOne" branded system yet OS4 has run officially on it.