diff --git a/.github/scripts/kernel_checker.py b/.github/scripts/kernel_checker.py index 4b4fbe40d73..0519f1c82ae 100755 --- a/.github/scripts/kernel_checker.py +++ b/.github/scripts/kernel_checker.py @@ -38,6 +38,7 @@ 'Makefile', '.DS_Store', 'cspell.config.yaml' + 'FreeRTOSConfig.h' ] KERNEL_IGNORED_EXTENSIONS = [