menu "Versatile platform type" | |
depends on ARCH_VERSATILE | |
config ARCH_VERSATILE_PB | |
bool "Support Versatile Platform Baseboard for ARM926EJ-S" | |
select CPU_ARM926T | |
select MIGHT_HAVE_PCI | |
default y | |
help | |
Include support for the ARM(R) Versatile Platform Baseboard | |
for the ARM926EJ-S. | |
config MACH_VERSATILE_AB | |
bool "Support Versatile Application Baseboard for ARM926EJ-S" | |
select CPU_ARM926T | |
help | |
Include support for the ARM(R) Versatile Application Baseboard | |
for the ARM926EJ-S. | |
config MACH_VERSATILE_DT | |
bool "Support Versatile platform from device tree" | |
select USE_OF | |
select CPU_ARM926T | |
help | |
Include support for the ARM(R) Versatile/PB platform, | |
using the device tree for discovery | |
endmenu |