@ikir
Sorry, but Kronos is right. The argument between Elbox and Hyperion has been going on for some time, and in public. Elbox say they do not need to supply any hardware or specifications to Hyperion because OS4 will "just run" automatically on the SharkPPC, while Hyperion say quite definitely that it will not and that they need to develop drivers etc. Anybody simply assuming that the SharkPPC will be supported by OS4 has to be crazy at the moment. The only way this will work out is if Elbox back down and hand over the hardware for development.
As for the Pegasos, if it will be supported, it won't be for some time. Eyetech have been working too closely with Hyperion and Amiga Inc to not expect to get at least a head start on any rivals.