Jesus Christ, Sony really going to use 3.5GB of fucking GDDR5 for OS? I knew 8GB of GDDR5 was overkill for the tech that's going in there, but, really? 3.5GB GDDR5 for only OS functions? What a waste of money. The problem of a unified memory pool, I guess.
Should have gone with 4.5GB of GDDR5 with 3.5GB of DDR3 for OS. Would have been much cheaper, but introduces a little bit of complexity for developers (CPU can't access same pool as GPU, like on PC). They instead could have had a separate small CPU that handles the OS, and pulls from the 3.5GB DDR3 exclusively, leaving the unified pool of 4.5GB GDDR5 for the Jaguar cores and GPU.