mirror of
https://github.com/FreeRTOS/FreeRTOS.git
synced 2026-08-10 07:03:52 +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.