1platform-$(CONFIG_MACH_XILFPGA) += xilfpga/
2cflags-$(CONFIG_MACH_XILFPGA) += -I$(srctree)/arch/mips/include/asm/mach-xilfpga
3load-$(CONFIG_MACH_XILFPGA) += 0xffffffff80100000