IIRC, everything Amiga that Gateway owned became the property of Amino Corp. which then started Amiga Inc... Then after some time sold it all off to KMOS Inc. which has now become Amiga Inc.
In short, Amiga Inc. owns all IP associated with Amiga... Hardware and Operating System.