From c8706f4f31ca49bdc4702b2d27b5b02c66157d88 Mon Sep 17 00:00:00 2001
From: Phillip Stevens <phillip.stevens@gmail.com>
Date: Mon, 8 Jan 2024 23:26:26 +1100
Subject: [PATCH] typo & formatting

---
 src/port.c      | 12 ++++++------
 src/portmacro.h |  2 +-
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/port.c b/src/port.c
index ad5b166..806a3f8 100644
--- a/src/port.c
+++ b/src/port.c
@@ -743,10 +743,10 @@ void vPortYieldFromTick( void )
      * use ISR_NOBLOCK where there is an important timer running, that should preempt the scheduler.
      *
      */
-    ISR( portSCHEDULER_ISR, ISR_NAKED ) __attribute__( ( hot, flatten ) );
+    ISR( portSCHEDULER_ISR, ISR_NAKED ) __attribute__ ( ( hot, flatten ) );
 
-    /*  ISR(portSCHEDULER_ISR, ISR_NAKED ISR_NOBLOCK) __attribute__ ((hot, flatten));
-     */
+/*  ISR( portSCHEDULER_ISR, ISR_NAKED ISR_NOBLOCK ) __attribute__ ( ( hot, flatten ) );
+ */
     ISR( portSCHEDULER_ISR )
     {
         vPortYieldFromTick();
@@ -761,10 +761,10 @@ void vPortYieldFromTick( void )
      *
      * use ISR_NOBLOCK where there is an important timer running, that should preempt the scheduler.
      */
-    ISR( portSCHEDULER_ISR ) __attribute__( ( hot, flatten ) );
+    ISR( portSCHEDULER_ISR ) __attribute__ ( ( hot, flatten ) );
 
-    /*  ISR(portSCHEDULER_ISR, ISR_NOBLOCK) __attribute__ ((hot, flatten));
-     */
+/*  ISR( portSCHEDULER_ISR, ISR_NOBLOCK ) __attribute__ ( ( hot, flatten ) );
+ */
     ISR( portSCHEDULER_ISR )
     {
         xTaskIncrementTick();
diff --git a/src/portmacro.h b/src/portmacro.h
index 8497baa..54d0748 100644
--- a/src/portmacro.h
+++ b/src/portmacro.h
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS Kernel V1.0.1
+ * FreeRTOS Kernel V11.0.1
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT