Implementation of the kexec system call for PS4 - View it on GitHub