Raspberry Pi now packs 512MB RAM