Kuba Szczodrzyński 2882eaa0c2 [core] Print platform versions, add GCC version to startup banner

2023-03-17 17:32:28 +01:00

..

arduino.py

[core] Use external FreeRTOS library

2023-03-13 22:18:02 +01:00

base.py

[core] Print platform versions, add GCC version to startup banner

2023-03-17 17:32:28 +01:00