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

[fillet]

Wh1pL4shL1ve_007 said:
They need to optimize the OS. The Ps3's OS at the start of this gen was at 100mb? Then they optimized it down to 10mb.

You can do it Nintendo!!!

100MB to 10MB? Do you have a reliable source for that, doesn't sound believeable.