Kconfig 1.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940
  1. menu "RealView platform type"
  2. depends on ARCH_REALVIEW
  3. config MACH_REALVIEW_EB
  4. bool "Support RealView/EB platform"
  5. select ARM_GIC
  6. help
  7. Include support for the ARM(R) RealView Emulation Baseboard platform.
  8. config REALVIEW_EB_ARM11MP
  9. bool "Support ARM11MPCore tile"
  10. depends on MACH_REALVIEW_EB
  11. help
  12. Enable support for the ARM11MPCore tile on the Realview platform.
  13. config REALVIEW_EB_ARM11MP_REVB
  14. bool "Support ARM11MPCore RevB tile"
  15. depends on REALVIEW_EB_ARM11MP
  16. default n
  17. help
  18. Enable support for the ARM11MPCore RevB tile on the Realview
  19. platform. Since there are device address differences, a
  20. kernel built with this option enabled is not compatible with
  21. other revisions of the ARM11MPCore tile.
  22. config MACH_REALVIEW_PB11MP
  23. bool "Support RealView/PB11MPCore platform"
  24. select ARM_GIC
  25. help
  26. Include support for the ARM(R) RealView MPCore Platform Baseboard.
  27. PB11MPCore is a platform with an on-board ARM11MPCore and has
  28. support for PCI-E and Compact Flash.
  29. config MACH_REALVIEW_PB1176
  30. bool "Support RealView/PB1176 platform"
  31. select ARM_GIC
  32. help
  33. Include support for the ARM(R) RealView ARM1176 Platform Baseboard.
  34. endmenu