ts-7200/dist/ecos/packages/kernel/current/host/instr
