src/distrib/cobalt/instkernel