1*ebf2b9e3SZubair Lutfullah Kakakhelif TARGET_XILFPGA 2*ebf2b9e3SZubair Lutfullah Kakakhel 3*ebf2b9e3SZubair Lutfullah Kakakhelconfig SYS_BOARD 4*ebf2b9e3SZubair Lutfullah Kakakhel default "xilfpga" 5*ebf2b9e3SZubair Lutfullah Kakakhel 6*ebf2b9e3SZubair Lutfullah Kakakhelconfig SYS_VENDOR 7*ebf2b9e3SZubair Lutfullah Kakakhel default "imgtec" 8*ebf2b9e3SZubair Lutfullah Kakakhel 9*ebf2b9e3SZubair Lutfullah Kakakhelconfig SYS_CONFIG_NAME 10*ebf2b9e3SZubair Lutfullah Kakakhel default "imgtec_xilfpga" 11*ebf2b9e3SZubair Lutfullah Kakakhel 12*ebf2b9e3SZubair Lutfullah Kakakhelconfig SYS_TEXT_BASE 13*ebf2b9e3SZubair Lutfullah Kakakhel default 0x80C00000 14*ebf2b9e3SZubair Lutfullah Kakakhel 15*ebf2b9e3SZubair Lutfullah Kakakhelendif 16