src/distrib/mipsco/instkernel
