mirror of
				https://github.com/FreeRTOS/FreeRTOS-Kernel.git
				synced 2025-11-04 11:09:01 +01:00 
			
		
		
		
	Co-authored-by: Robert Berger <robert.berger@ReliableEmbeddedSystems.com> Co-authored-by: Paul Bartell <pbartell@amazon.com>
Co-authored-by: Robert Berger <robert.berger@ReliableEmbeddedSystems.com> Co-authored-by: Paul Bartell <pbartell@amazon.com>