/distrib/hp300/instkernel/