mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2026-08-09 06:34:11 +00: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.