src/distrib/notes/ews4800mips