ethomaz on 15 November 2013
There are 32MB Flash memory too for what I don't know yet
The OS didn't run over the 256MB DDR3... this RAM is used only for the background tasks made by the ARM processor.