So once they have an AMIGA license, they can run whatever they like including AMIGA OS.
The thing is, before they can even approach Amiga Inc for a license, the boards must actually be available, and be selling in numbers that constitute a business opportunity for Amiga (pre-requisites gathered from a
post by Fleecy).
It's also unknown whether they have the money (I believe that Hyperion quoted €20,000 per platform?) so it would be €40,000 they need up front to pay Hyperion for the porting of OS4 to their two boards.