a compiled basic Linux distribution for the PS4, to use with PS4 Playground:

You need a FAT32 formatted USB drive plugged in on any PS4's USB port with the following files on the root directory:

bzImage : Kernel image that will be loaded.

initramfs.cpio.gz : The initial file system that gets loaded into memory during the Linux startup process. This one is recommended.

The file names must match with the above and you can have more files on the same USB drive. From there you can setup the environment to run from an NFS share or from an external drive via USB (recommended) and boot a complete distro!