7 years later and no SharkPPC/SharkPPC+ yet. AOS 4.1 out on Pegasos II (discontinued), Amigaone (discontinued) and SAM platform. AOS 4 also out for Classic Amiga with CS-PPC (discontinued?).
If Elbox and Hyperion ever 'got along' the SharkPPC should be out in the near future. Otherwise I am not sure we ever gonna see it.
I just invested some money into the mediator. At this moment I think Elbox looks as the most viable upgrade of the old system and SAM as the only existing Amiga clone.
I am currently using my Pegasos II as my Amiga OS platform though. So far happy with that setup that is slowly being setup with software from os4depot and Aminet.
Besides the Pegasos, I am trying to reconfigure the old A4000 as already stated to at least keep up the classic. It was having problems booting in it's original setup. Having cleaned the motherboard and refitted it in the Elbox cabinet I still need to add a few items and probably gonna go see if the is any existing accelerators as the CS mk 1's RAM didn't fit inside (tbh the SharkPPC+ would have been nice about now, but Elbox really need to spend a little on the AmigaOS license imo).
This thread was started 7 years ago. If the SharkPPC comes out it will be long overdue in any case, but maybe the boys at Elbox expected things moving along easier.
In any case I guess I will end up with some odd systems on my hand. (sometimes I think it would be much easier if AOS just came out on PS3)