/distrib/sgimips/instkernel/