2005-10-31 15:25:02 +01:00
|
|
|
menu "RealView platform type"
|
|
|
|
depends on ARCH_REALVIEW
|
|
|
|
|
|
|
|
config MACH_REALVIEW_EB
|
|
|
|
bool "Support RealView/EB platform"
|
|
|
|
default n
|
|
|
|
select ARM_GIC
|
|
|
|
help
|
|
|
|
Include support for the ARM(R) RealView Emulation Baseboard platform.
|
|
|
|
|
2005-11-07 22:01:06 +01:00
|
|
|
config REALVIEW_MPCORE
|
|
|
|
bool "Support MPcore tile"
|
|
|
|
depends on MACH_REALVIEW_EB
|
|
|
|
help
|
|
|
|
Enable support for the MPCore tile on the Realview platform.
|
|
|
|
Since there are device address and interrupt differences, a
|
|
|
|
kernel built with this option enabled is not compatible with
|
|
|
|
other tiles.
|
|
|
|
|
2005-10-31 15:25:02 +01:00
|
|
|
endmenu
|