DrZlo13 c9b921f6ce added openocd support (#211) ...

openocd needs a visible uxTopUsedPriority symbol for freertos, but freertos is discarding it in v7, so I add the helper file manually

2020-10-29 08:41:44 +03:00

548 B

Raw Blame History

View Raw