seems about the right amount IMO
http://ps4daily.com/2013/04/playstation-4-developers-7-gb-ram/
according to a PlayStation 4 developer PS4Daily spoke to, they have access to only 7 GB of RAM. The remaining 1 GB is reserved for the operating system and background tasks
http://ps4daily.com/2013/04/playstation-4-developers-7-gb-ram/