Kconfig 1.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051
  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. config REALVIEW_HIGH_PHYS_OFFSET
  35. bool "High physical base address for the RealView platform"
  36. depends on !MACH_REALVIEW_PB1176
  37. default y
  38. help
  39. RealView boards other than PB1176 have the RAM available at
  40. 0x70000000, 256MB of which being mirrored at 0x00000000. If
  41. the board supports 512MB of RAM, this option allows the
  42. memory to be accessed contiguously at the high physical
  43. offset.
  44. endmenu