src/distrib/evbmips/instkernel/instkernel
