Updating the Kernel
If you wish to update your kernel within PS4 Linux, here's how to do it.
WARNING
Read the script before you run it as root. It doesn't check your southbridge. Right now the only release is for Aeolia and Belize, so don't use it on Baikal.
Download the script:
bashcurl -fsSL -O https://gist.githubusercontent.com/GattoDev-debug/1b6ea6f543b7aa3a4d3c20ac5c606fe9/raw/ps4-kernel-updater.sh(Ha ha, I know, self promo. Shut it. :3)
Make it executable:
bashchmod +x ps4-kernel-updater.shRun it as root:
bashsudo ./ps4-kernel-updater.sh