Sorry if I have missed this but can I download the docs as a PDF file rather than having to view them via my browser.
You can purchase the WEB site as a chm file. There is no longer a pdf manual unless you get OpenRTOS.
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.