OpenCloudOS-Kernel/tools/debugging
..
Makefile
kernel-chktaint