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