/distrib/hpcarm/instkernel/