All the other platforms I listed are already supported either by Allegro or SDL (which I can also use via Allegro's SDL backend), while it doesn't seem to be a case with PS4. Also, so far I've used GLSL and relied on Allegro's OpenGL (ES) renderer. In case of UWP I can use ANGLE, but PS4 seems to require more effort there (most likely renderer implementation and separate shaders). Nothing impossible, but it moves it out of "I'll eventually do it when bored" status to "I'll only do it when there's strong business case behind it".