diff options
Diffstat (limited to 'portable/ThirdParty/GCC/RP2040/port.c')
| -rw-r--r-- | portable/ThirdParty/GCC/RP2040/port.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/portable/ThirdParty/GCC/RP2040/port.c b/portable/ThirdParty/GCC/RP2040/port.c index 1f0cdab35..e87ef5f38 100644 --- a/portable/ThirdParty/GCC/RP2040/port.c +++ b/portable/ThirdParty/GCC/RP2040/port.c @@ -1,5 +1,5 @@ /*
- * FreeRTOS Kernel V10.4.3
+ * FreeRTOS Kernel V10.5.1
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
* Copyright (c) 2021 Raspberry Pi (Trading) Ltd.
*
|