documentation: update sysrq.txt magic sysrq keys
[linux-2.6/cjktty.git] / arch / mips / wrppmc / Platform
blobe758645e9681939626d9241c10aba3646802fe6f
2 # Wind River PPMC Board (4KC + GT64120)
4 platform-$(CONFIG_WR_PPMC)      += wrppmc/
5 cflags-$(CONFIG_WR_PPMC)        +=                                      \
6                 -I$(srctree)/arch/mips/include/asm/mach-wrppmc
7 load-$(CONFIG_WR_PPMC)          += 0xffffffff80100000