src/distrib/hpcsh/instkernel