512 MB of Wii U's RAM "reserved for the OS. What's the total?

[Play4Fun]

This source is from GAF and he says the console has AT LEAST 1GB RAM for games and another 512MB RAM not available to devs.


He's hinted that it will either be 1GB + 512MB or 1.5 GB +512mb OS.