Hi!

One very minor thing.

As requested by the licence, my device reports its using FreeRTOS among the other software version numbers. For FreeRTOS I use tskKERNEL_VERSION_NUMBER from task.h to report its version. In version 4.8.0 it holds:

#define tskKERNEL_VERSION_NUMBER "V4.7.2"

BR, Madis

By the way: That is not the first time that tskKERNEL_VERSION_NUMBER differs from the released version ;)

My bad - sorry :o(