Is there some work on Retroarch for PS4 ?

Hello. Can't find any news about Retroarch PS4 version anywhere. Are there any teams working on that? Thanks!

UDATE: The idea of linux based retroarch distribution is promising : Retroarch and epsxe and ppsspp seem to reach full speed, pcsx2 about half speed, some linux games like 'Cuphead' run well.
(Look for psxitarch on youtube).