| config ARCH_BERLIN | |
| bool "Marvell Berlin SoCs" if ARCH_MULTI_V7 | |
| select ARM_GIC | |
| select GENERIC_IRQ_CHIP | |
| select DW_APB_ICTL | |
| select DW_APB_TIMER_OF | |
| if ARCH_BERLIN | |
| menu "Marvell Berlin SoC variants" | |
| config MACH_BERLIN_BG2 | |
| bool "Marvell Armada 1500 (BG2)" | |
| select CACHE_L2X0 | |
| select CPU_PJ4B | |
| select HAVE_ARM_TWD if SMP | |
| config MACH_BERLIN_BG2CD | |
| bool "Marvell Armada 1500-mini (BG2CD)" | |
| select CACHE_L2X0 | |
| select HAVE_ARM_TWD if SMP | |
| endmenu | |
| endif |