CyanogenMod 10.1 recently matured into a stable release a while back but some platforms were still being left in the dark. – Tegra 2 and Exynos more specifically, Tegra 2 builds arrived just yesterday but supporting the Exynos 4 proves to be difficult.
The Exynos SoC is a rather closed platform. – Samsung may have released the SoC-specific kernel 3.0.31 sources but those are still incomplete; lacking most of the ‘stuff’ needed to fully compile a working JB kernel. Most of provided sources are binary blobs instead of the real open source stuff, Samsung hardly documented the platform nor did they release the binaries required for hwcomposer, proper graphics allocation, hardware acceleration and the copybit library. Not to mention the lack of camera sources or any HDMI documentation.
The folks at CyanogenMod today announced that builds for Exynos 4-based devices will indefinitely remain on the nightly status albeit still being supported. This basically means that some features will still be broken until they figure a way to obtain proper sources. Those devices will not be getting a general release version of CM10.1 just yet, the list includes any Samsung handset using the Exynos 4210, 4212 and 4412 (Galaxy SII, SIII, Note, Note 2).
Exynos 3 and Exynos 5 devices are not impacted, moreover the team announced that they’re bringing CyanogenMod to the Exynos 5 Octa-powered Galaxy S4 (GT-I9500) so expect a nightly build soon!