src/distrib/cats/instkernel