Developer eeply has released a fork of the PS4-Linux codebase, which now supports PS4 Slim and Pro models. More specifically, the developer has implemented the required HDMI output driver, which was apparently the one thing not working for recent models of the PS4 in the existing Linux implementation.
According to early feedback, getting Linux to run on the PS4 is a bit of hit and miss at the moment, due to some instability (which can cause the occasional freeze at startup) and the fact that it is tough to find the right files to work with. Nevertheless, multiple people have reported that they got Linux to properly run on the PS4 Pro or PS4 Slim, and I’m sure “all in one” packages will surface on your regular scene websites very soon.
And as always, this goes without saying, but you need a hacked PS4 in order to run this, for example a PS4 with firmware 4.55.
Download Linux for PS4, compatible PS4 Slim/PS4 Pro
In order to run Linux on the PS4, in addition to the Linux port, you’ll need the Linux Loader from ValentinBreiz, as well as the initramfs.cpio.gz file (just keep the initramfs file, and replace the bzimage with the one from eeply). Those wanting to compile eeply’s port by themselves will want to make sure they use the right branch (e.g. this one for PS4 Pro)