Уж очень много про prx пока не могу сказать, знаю что это
исполняемемое приложение для PSP, тоесть бинарный код совпадает с pbp и elf файлами (если не включить дебуг инфо), а заголовок другой.
Как сделать prx в cygwin - вот:
1. В Makefile после раздела ASFLAGS добавь
BUILD_PRX=1
2. Компилировать проект - сначала выполнить make clean, затем make
Все, в каталоге появится prx.
Я сам недавно начал разбираться, скоро думаю продвинусь, расскажу подробнее. Можешь смотреть мой пост про PSPxIDE, там я ссылку на доку по архитектуре PSP выкладывал .