1*4882a593Smuzhiyunif TARGET_XILFPGA 2*4882a593Smuzhiyun 3*4882a593Smuzhiyunconfig SYS_BOARD 4*4882a593Smuzhiyun default "xilfpga" 5*4882a593Smuzhiyun 6*4882a593Smuzhiyunconfig SYS_VENDOR 7*4882a593Smuzhiyun default "imgtec" 8*4882a593Smuzhiyun 9*4882a593Smuzhiyunconfig SYS_CONFIG_NAME 10*4882a593Smuzhiyun default "imgtec_xilfpga" 11*4882a593Smuzhiyun 12*4882a593Smuzhiyunconfig SYS_TEXT_BASE 13*4882a593Smuzhiyun default 0x80C00000 14*4882a593Smuzhiyun 15*4882a593Smuzhiyunendif 16