diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2023-08-04 16:54:33 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-08-10 14:54:03 +1000 |
| commit | 24a6e951ec7696b8d18d95fe5da36f7e489913d0 (patch) | |
| tree | fe0304c93ce0a49dbad84d2a9ba8671bda05a322 /py/makeversionhdr.py | |
| parent | 4bbe879c2668e5fd81f266a0779387337858cbf9 (diff) | |
ports: Simplify board feature tags in board.json.
This commit:
- Finds a common set of board feature tags and maps existing features to
that reduced set.
- Removes some less-useful board feature tags.
- Ensures all MCUs are specified correctly.
- Ensures all boards have a vendor (and fixes some vendor names).
This is to make the downloads page show a less intimidating set of filters.
Work done in conjunction with Matt Trentini <matt.trentini@gmail.com>.
This work was funded through GitHub Sponsors.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'py/makeversionhdr.py')
0 files changed, 0 insertions, 0 deletions
