/distrib/hpcsh/instkernel/