1. Why don't Genesi get the "Amiga Certified" licence so they can run OS4 on the Pegasos?
Much likely becouse Pegasos is sold out. Bigger question would be about Pegasos 2.
And about the license terms, do they state, that "certified machine must be sold with copy of AmigaOS4" ?
Well, as all Pegasos boards are already sold out...
Of course, it might be possible to make "Pegasos AmigaOS4 enablers" (that were sold with a copy of AmigaOS4, when ready)