/distrib/pmax/instkernel/