Link here
http://www.neogaf.com/forum/showthread.php?t=782997
This was basically known by people like me but there was a lot of resistance.
I have it on good authority (a former Sony engineer who helped develop PS4) that the PS4 also reserves a roughly similar amount of GPU to XBO. I could get a link for that, but really dont feel like it right now as I'd have to search it.
Anyways, it's basically that PS4 has all similar OS reserves to Xbox One. We can lay that to rest.
I say this because I was involved in many tech debates months ago here, and many people claimed to me basically that PS4 had little or no OS reserves compared to XBO.