mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-07-07 22:04:40 +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.