If this is dedicated to just doing OS tasks and other things then taking up ONLY 256MB is insanity I tell you. I repeat it's insanity if this is true.
Edit: What's even more insane is that the WII U uses 1GB reserved just for it's OS.
http://mynintendonews.com/2013/09/21/shinen-claims-its-not-the-hardwares-fault-if-devs-cant-create-good-looking-wii-u-games/