src/distrib/shark/instkernel