3 machine ews4800mips mips
4 makeoptions MACHINE_ARCH="mipseb"
5 include "conf/std" # MI standart options
7 options EXEC_ELF32 # exec ELF32 binaries
8 options EXEC_SCRIPT # exec #! scripts
10 options ENABLE_MIPS3_WIRED_MAP
12 makeoptions DEFTEXTADDR="0x80001000"