/distrib/mipsco/instkernel/