1#
2# Wind River PPMC Board (4KC + GT64120)
3#
4platform-$(CONFIG_WR_PPMC)	+= wrppmc/
5cflags-$(CONFIG_WR_PPMC)	+= 					\
6		-I$(srctree)/arch/mips/include/asm/mach-wrppmc
7load-$(CONFIG_WR_PPMC)		+= 0xffffffff80100000
8