The branding is probably also due to AWS having FreeRTOS https://aws.amazon.com/freertos/