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

[forethought14]

That's a terrible OS if it uses that much RAM. PS4 is starting to look less and less impressive to me now. And considering how it's all GDDR5 RAM (OS RAM will use it), it's a massive waste.