Supported devices and codenames
The table below lists the supported devices and their corresponding factory images, should you want to switch back to Android. The images can be found
here.
Device
Codename
Factory firmware from Google
Galaxy Nexus
maguro
takju or
yakju
Nexus 4
mako
occam
Nexus 7
grouper
nakasi or
nakasig
Nexus 10
manta
mantaray 