src/distrib/hpcmips/instkernel