| Exynos4 boards (``nuri``, ``smdkc210``) | |
| ======================================= | |
| These are machines which use the Samsung Exynos4210 SoC, which has Cortex-A9 CPUs. | |
| ``nuri`` models the Samsung NURI board. | |
| ``smdkc210`` models the Samsung SMDKC210 board. | |