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.