Pegasos is no longer in production (to be solved with Peg2 eventually). Pegasos can not, and probably will never run OS4 (Unless BBRV has mind flip and pays dongle fees). AmigaOne boards are rather overpriced, I'm not sure if they do have any real advantages (excepting an eventual port of the true Amiga Operating System)
