cf. https://github.com/apache/nuttx/issues/13246
These are tools and data used for the CI system. Some of what is here may also be useful for local testing.
