FreeRTOS Kernel

This is official FreeRTOS 10.2.0 kernel from www.freertos.org with some irrelevant stuff removed.

It is used by all the ports except ESP32, which uses its own, heavily modified version.