It will go to the person decided by the court. This should be the one that pays the most, or the one that pays the fastest. (Remember when C= went under there were higher bids then Escom that weren't considered for one or another reason).
Also, what is to sell ? The OS itself is still owned by AInc, most components developed after 2001 belong to their authors. They only thing they have is a (nontransferable) distribution licence. Might very well be that AEon would need to buy Hyperion complete with all debts in order to secure that one.
