/distrib/hp700/kernel/