src/distrib/hpcmips/instkernel
