Hacker Mathieulh shared a string extracted from a PS4 kernel dump, from the latest 5.55 firmware. The string contains the date the firmware was compiled. This date, he says, is enough proof that he has a decrypted dump of the PS4's 5.55 kernel.
https://wololo.net/2018/05/22/ps4-mat...p-taunts-sony/
https://wololo.net/2018/05/22/ps4-mat...p-taunts-sony/