board/imgtec/xilfpga/Kconfig


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

if TARGET_XILFPGA

config SYS_BOARD
	default "xilfpga"

config SYS_VENDOR
	default "imgtec"

config SYS_CONFIG_NAME
	default "imgtec_xilfpga"

config TEXT_BASE
	default 0x80C00000

endif