xref: /rk3399_rockchip-uboot/board/imgtec/xilfpga/Kconfig (revision 5e023e7eb3c4dca6ddc2d7dbd862b5e781a6fbec) 
1if TARGET_XILFPGA
2
3config SYS_BOARD
4	default "xilfpga"
5
6config SYS_VENDOR
7	default "imgtec"
8
9config SYS_CONFIG_NAME
10	default "imgtec_xilfpga"
11
12config SYS_TEXT_BASE
13	default 0x80C00000
14
15endif
16