board/imgtec/xilfpga/Kconfig

   1 if TARGET_XILFPGA
   2
   3 config SYS_BOARD
   4         default "xilfpga"
   5
   6 config SYS_VENDOR
   7         default "imgtec"
   8
   9 config SYS_CONFIG_NAME
  10         default "imgtec_xilfpga"
  11
  12 config SYS_TEXT_BASE
  13         default 0x80C00000
  14
  15 endif