MIPS_OPTIONS=-nodwalign
GPSIZE=32

MIPS_SOURCES=..\mips\kdtrap.c  \
             ..\mips\kdreboot.c \
             ..\mips\kdcpuapi.c \
             ..\mips\kdcmsup.c
