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