1Exynos4 boards (``nuri``, ``smdkc210``)
2=======================================
3
4These are machines which use the Samsung Exynos4210 SoC, which has Cortex-A9 CPUs.
5
6``nuri`` models the Samsung NURI board.
7
8``smdkc210`` models the Samsung SMDKC210 board.
9
10