/tools/verification/dot2/dot2k_templates/

• ../
• Kconfig
• main.c
• trace.h