Kconfig 757 B

123456789101112131415161718192021222324252627
  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. select CACHE_L2X0
  12. help
  13. Enable support for the ARM11MPCore tile on the Realview platform.
  14. config REALVIEW_EB_ARM11MP_REVB
  15. bool "Support ARM11MPCore RevB tile"
  16. depends on REALVIEW_EB_ARM11MP
  17. default n
  18. help
  19. Enable support for the ARM11MPCore RevB tile on the Realview
  20. platform. Since there are device address differences, a
  21. kernel built with this option enabled is not compatible with
  22. other revisions of the ARM11MPCore tile.
  23. endmenu