Fix spelling issues.
diff --git a/FreeRTOS/Source/include/FreeRTOS.h b/FreeRTOS/Source/include/FreeRTOS.h
index 33e9fa6..4df39db 100644
--- a/FreeRTOS/Source/include/FreeRTOS.h
+++ b/FreeRTOS/Source/include/FreeRTOS.h
@@ -241,7 +241,7 @@
#define configASSERT_DEFINED 1
#endif
-/* configPRECONDITION should be resolve to configASSERT.
+/* configPRECONDITION should be defined as configASSERT.
The CBMC proofs need a way to track assumptions and assertions.
A configPRECONDITION statement should express an implicit invariant or
assumption made. A configASSERT statement should express an invariant that must
diff --git a/FreeRTOS/Source/include/task.h b/FreeRTOS/Source/include/task.h
index 62302f0..1ee178a 100644
--- a/FreeRTOS/Source/include/task.h
+++ b/FreeRTOS/Source/include/task.h
@@ -2213,7 +2213,7 @@
* Clears the bits specified by the ulBitsToClear bit mask in the notification
* value of the task referenced by xTask.
*
-* Set ulBitsToClear to to 0xffffffff (UINT_MAX on 32-bit architectures) to clear
+* Set ulBitsToClear to 0xffffffff (UINT_MAX on 32-bit architectures) to clear
* the notification value to 0. Set ulBitsToClear to 0 to query the task's
* notification value without clearing any bits.
*
diff --git a/FreeRTOS/Source/portable/MSVC-MingW/port.c b/FreeRTOS/Source/portable/MSVC-MingW/port.c
index 3c685b9..ec23417 100644
--- a/FreeRTOS/Source/portable/MSVC-MingW/port.c
+++ b/FreeRTOS/Source/portable/MSVC-MingW/port.c
@@ -95,7 +95,7 @@
/* Handle of the thread that executes the task. */
void *pvThread;
- /* Event used to makes sure the thread does not execute past a yield point
+ /* Event used to make sure the thread does not execute past a yield point
between the call to SuspendThread() to suspend the thread and the
asynchronous SuspendThread() operation actually being performed. */
void *pvYieldEvent;
@@ -394,7 +394,7 @@
xInsideInterrupt = pdFALSE;
WaitForMultipleObjects( sizeof( pvObjectList ) / sizeof( void * ), pvObjectList, TRUE, INFINITE );
- /* Cannot be in a critical section to get here. Tasks that exist a
+ /* Cannot be in a critical section to get here. Tasks that exit a
critical section will block on a yield mutex to wait for an interrupt to
process if an interrupt was set pending while the task was inside the
critical section. xInsideInterrupt prevents interrupts that contain
@@ -456,12 +456,11 @@
/* Ensure the thread is actually suspended by performing a
synchronous operation that can only complete when the thread is
- actually suspended. The below code asks for dummy register
- data. Experimentation shows that these two lines don't appear
+ actually suspended. The code below asks for dummy register
+ data. Experimentation shows that these two lines don't appear
to do anything now, but according to
https://devblogs.microsoft.com/oldnewthing/20150205-00/?p=44743
- they do - so as they do not harm (slight run-time hit) they have
- been left it. */
+ they do - so as they do not harm (slight run-time hit). */
xContext.ContextFlags = CONTEXT_INTEGER;
( void ) GetThreadContext( pxThreadState->pvThread, &xContext );
@@ -599,7 +598,7 @@
ReleaseMutex( pvInterruptEventMutex );
if( ulCriticalNesting == portNO_CRITICAL_NESTING )
{
- /* An interrupt was pended so ensure to block to alow it to
+ /* An interrupt was pended so ensure to block to allow it to
execute. In most cases the (simulated) interrupt will have
executed before the next line is reached - so this is just to make
sure. */
@@ -669,7 +668,7 @@
pvInterruptEventMutex is released as it waits on both
pvInterruptEventMutex and pvInterruptEvent.
pvInterruptEvent is only set when the simulated
- interrupt is pendeded if the interrupt is pended
+ interrupt is pended if the interrupt is pended
from outside a critical section - hence it is set
here. */
SetEvent( pvInterruptEvent );
