src/distrib/hpcarm/instkernel