Je viens de réessayer le checkout à partir de Eclipse, et ça marche....
Jiboot intègre effectivement un BINAIRE de bootmenue, pour processeur PPC (pas les sources)
Ce source de bootmenue est intégré aux CVS d'images, genre ITGate, mais il n'est pas fourni avec les CDKs sh4, à ma connaissance
Ce n'est pas 'portable' tel quel, car il est intimement lié aux drivers de la machine cible ( FrameBuffer, RCU, etc... )