Developer Wildcard has updated his kernel dumper for the PS4. The tool supports firmware 4.05, 4.55, and 5.05.
For those of you interested in digging into the PS4 Firmware, you’ll want to have a look into this tool which lets you dump the PS4 kernel for further analysis. This includes, but is not restricted to, looking for vulnerabilities in the firmware. (And if that’s your thing, you’ll probably want to have a look at Belf, the recently released ida pro loader for PS4 Elfs)
Since some people were apparently having issues dumping the kernel through the original technique of a network socket, Wildcard has added direct support for dumping on the usb drive.
There’s no compiled payload release though, so you’ll have to build the payload yourself from source.
Download PS4 Kernel Dumper
You can download the source code from the developer’s github here. Instructions on how to compile and run are in the Readme.