Commit graph

2 commits

Author SHA1 Message Date
Michael Opdenacker
e4757b6054 Rename FreeRTOS plugin
- The project is really Amazon FreeRTOS, as
  FreeRTOS is not available through git (AFAIK)
  and AWS is now maintaining it.

Signed-off-by: Michael Opdenacker <michael.opdenacker@bootlin.com>
2019-07-09 14:55:33 +02:00
Michael Opdenacker
db6127a602 Add plugin for FreeRTOS support
Signed-off-by: Michael Opdenacker <michael.opdenacker@bootlin.com>
2019-07-09 11:48:26 +02:00