PS4 RAM available for games

http://www.ign.com/articles/2013/07/26/35gb-of-playstation-4-ram-reportedly-reserved-for-os