/tools/verification/dot2/dot2k_templates/
../
Kconfig
main.c
trace.h