The latest version of the manual for OS is available on the website but since the OS is bundled with Xilinx tools and use the 8.2.3 version the manual does not match the OS. Please post old versions of the manual.
Which manual are you talking about? The reference manual? Can you provide a link?
I find myself in the same situation as the OP, only with NXP’s Kinetis Software Development Kit. The only documentation link I can find on the FreeRTOS website is http://www.freertos.org/Documentation/RTOSbook.html. The “FreeRTOS V9.0.0 Reference Manual” link on that page downloads from http://www.freertos.org/Documentation/FreeRTOSReferenceManualV9.0.0.pdf. I’ve searched in vain for a similar document for v8.2.3.
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.