embedded/FreeRTOS
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2026-08-06 13:13:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add custom metrics to Device Defender Demo (#578)

Browse Source
This commit is contained in:
Archit Aggarwal
2021-04-26 16:21:32 -07:00
committed by GitHub
parent f928907853
commit 9ad1cbc28e
8 changed files with 409 additions and 150 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/scripts/check-header.py vendored
View File

@@ -369,7 +369,7 @@ FREERTOS_IGNORED_PATTERNS = [
FREERTOS_HEADER = [
'/*\n',
' * FreeRTOS V202011.00\n',
' * FreeRTOS V202012.00\n',
' * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.\n',
' *\n',
' * Permission is hereby granted, free of charge, to any person obtaining a copy of\n',
@@ -422,7 +422,7 @@ KERNEL_IGNORED_PATTERNS = [r'.*\.git.*']
KERNEL_HEADER = [
'/*\n',
' * FreeRTOS Kernel V10.4.2\n',
' * FreeRTOS Kernel V10.4.3\n',
' * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.\n',
' *\n',
' * Permission is hereby granted, free of charge, to any person obtaining a copy of\n',