Skip to content
IoT operating system for microcontrollers.
Branch: master
Clone or download
karkhaz Merge pull request #534 from markrtuttle/freertos-cbmc-fix-parsednsreply
Fix new loop unwinding issue in CBMC proof of ParseDSNReply
Latest commit a2b064f Apr 17, 2019

README.md

Getting Started

For more information on Amazon FreeRTOS, refer to the Getting Started section of Amazon FreeRTOS webpage.

To directly access the Getting Started Guide for supported hardware platforms, click the corresponding link in the Supported Hardware section below.

For detailed documentation on Amazon FreeRTOS, refer to the Amazon FreeRTOS User Guide.

Supported Hardware

The following MCU boards are supported for Amazon FreeRTOS:

  1. Texas Instruments - CC3220SF-LAUNCHXL.
  2. STMicroelectronics - STM32L4 Discovery kit IoT node.
  3. NXP - LPC54018 IoT Module.
  4. Microchip - Curiosity PIC32MZEF.
  5. Espressif - ESP32-DevKitC, ESP-WROVER-KIT.
  6. Infineon - Infineon XMC4800 IoT Connectivity Kit
  7. Xilinx - Xilinx Zynq-7000 based MicroZed Industrial IoT Bundle
  8. MediaTek - MediaTek MT7697Hx Development Kit
  9. Renesas - Renesas Starter Kit+ for RX65N-2MB
  10. Cypress CYW54907 - Cypress CYW954907AEVAL1F Evaluation Kit
  11. Cypress CYW43907 - Cypress CYW943907AEVAL1F Evaluation Kit
  12. Windows Simulator - To evaluate Amazon FreeRTOS without using MCU-based hardware, you can use the Windows Simulator.
You can’t perform that action at this time.