/distrib/hpcmips/instkernel/