src/distrib/mipsco/instkernel