Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / arch / arm / mach-picoxcell / Kconfig
1 config ARCH_PICOXCELL
2         bool "Picochip PicoXcell" if ARCH_MULTI_V6
3         select ARCH_REQUIRE_GPIOLIB
4         select ARM_VIC
5         select DW_APB_TIMER_OF
6         select HAVE_TCM
7         select NO_IOPORT_MAP