ChibiOS Free Embedded RTOS

I was planning on doing a comparison between ChibiOS and FreeRTOS and I noticed that FreeRTOS has an exception to the GPL license:

Clause 2:
FreeRTOS may not be used for any competitive or comparative purpose, including
the publication of any form of run time or compile time metric, without the
express permission of Real Time Engineers Ltd. (this is the norm within the
industry and is intended to ensure information accuracy).

Source: http://www.freertos.org/license.txt

So I am just wondering if ChibiOS has something similar? I have looked at the various licensing options but I can't find anything and just want to be sure.

Hi,

There is nothing similar in the ChibiOS license, it is quite the opposite, we encourage testing, measuring, benchmarking and comparing with competing products, both features and performance, you are also authorized to laugh all the way to our license order form

ChibiOS also includes benchmarks and benchmarking support in its API and test applications.

Giovanni