linux-bl808/tools/debugging
..
kernel-chktaint
Makefile