hello, mi PS4 is a PS4 pro... I used the kernel that worked for me in other linux version i tested before... Linux is no my interest, no friendly with me but batocera seems amazing, I use RetroBat inside Windows and it is cool to get it for PS4.
please can you share one USB image to flash and then I add my roms, bios, etc?