/distrib/cobalt/instkernel/