This Phoronix article confirms that PS4 features Cairo library, eglib, libcompiler-rt, libcxxrt, libjpeg-turbo, Lua, Mono VM & Class Libraries, the Pixman renderering library, and WebKit.
PS4 uses more open source than the BSD Kernel
phoronix.com