/distrib/emips/instkernel/