In the chang logs, about the release of V10, it said "Changes since FreeRTOS V9.0.1:
However, I can't find the V9.0.1, I think it should be V10, and this also occurs in https://www.freertos.org/History.txt
Is it a typo?
V9.0.1 was provided for distribution to some tools partners, but there
was never a separate .zip download from SourceForge, so its not a typo.
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.