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

[fillet]

z101 said:

Andrespetmonkey said:

If 4gb only costs £10 then I don't see why consoles can't have at least that. How cheap would that be if bought in very large amounts?

Edit: Just found this whilst googaling prices. lol

 

Really you don't want £10 RAM in your PC or Wii U. Reliable and fast RAM costs much more.

 

No it doesn't, branded and over marketed RAM costs a lot more.

Faster RAM than current industry standard high end stuff does cost more, for example 1333Mhz was the most widely produced DDR3 a year ago and at that time 1666Mhz stuff was significantly more expensive and 2000Mhz was astronomically prices. Not 1666Mhz DDR3 is pretty much standard, but why would it need faster RAM for a games console anyway?

It won't help with anything.