mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-07-09 06:36:16 +02:00
To use Port1, copy the three files from the Port1 directory into this directory. To use Port2, copy the three files from the Port2 directory into this directory. Ensure to perform a complete rebuild.