/distrib/cats/instkernel/