PlayStation 4 gives up to 5.5GB of RAM to game developers

[S.Peelman]

Jeesh, what's with these OS's and there enormous memory usage these days :-/

Anyways, 4.5-5.5 is still plenty, and it will probably only increase after firmware updates down line.