arch/arm/mach-espd_4510b/Kconfig

   1 menu "ESPD_4510B Options"
   2         depends on ARCH_ESPD_4510B
   3
   4 config ARM_CLK
   5         int 'Arm Core Clock'
   6         default 50000000
   7         help
   8         the default host clock of S3C4510B is 50MHz.
   9         otherwise, change the value in clock.
  10
  11 config SKIP_DUMP_CPU_INFO
  12         bool
  13         default y
  14         help
  15         S3C4510B(ARM7TDMI) core does not support cache size
  16         recognition instructions which uses MMU features.
  17
  18 config REMAP_VECTORS_TO_RAM
  19         bool
  20         default y
  21         help
  22         S3C4510B core does not support ROM and RAM remap
  23         function. we set the trap_init to be initialized
  24         at the begining of DRAM_BASE.
  25
  26 endmenu