Building a multiboot Linux menu for the PS4, controlled from the gamepad

Linux on the PS4 is not new. Community kernels have run on it for years, and you can find ready-made...