original_kernel/tools/counter
..
Build
Makefile
counter_example.c