When will we be able to buy A1/OS4.0?
I guess now. AFAIK the new boards are sold with the same prerelease CD.
Will OS4.0 support the SharkPPC cards, any timelines?
I can start to estimate this as soon as I get a SharkPPC. Before that it's a moot point.
Will there be a pegasos port of OS4.0? (Pegasos website thinks so!)
I don't think this is about "think so" or "not think so". If someone licenses AmigaOS for Pegasos, there is a definite possibility.