Zřejmě jsem jediný, který nedokázal provést instalaci. :-(
Stáhl jsem si pixel_linuxppc_demo470.tar.gz, rozbalil (tar xzvf pixel_linuxppc_demo470.tar.gz), ověřil, že modul setup má nastaveny bit x (chmod a+x setup). Při pokusu
./setup
mně to napsalo:
bash: ./setup: cannot execute binary file
