yup, the PS4 is x86_64 so CPU wise it should be pretty easy. Especially compared to the nightmare of the PS3 cell processor. And to be fair people do straight ports of desktop linux distros to PS4 all of the time since it is x86. But obviously there are other quirks to deal with despite the PS4 being x86.

I’d be surprised if it wasn’t easier. The PS4 is straight up a PC with some extra security DRM chips slapped on it.