ethomaz on 15 November 2013
Ohhhhh guys there are a lot of contusion here....
The PS4's OS reserves memory from GDDR5 for it and apps... the 256MB DDR3 is for the background processor not related to PS4's main OS.