src/distrib/evbmips/instkernel
