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

[Reasonable]

That's a lot of RAM for the OS. The current PS3 / 360 are a fraction of that and I'm not sure why they'd need that much more unless the tablet functions or some other stuff need a ton of dedicated memory.