linguini1 opened a new pull request, #16321: URL: https://github.com/apache/nuttx/pull/16321
## Summary This PR introduces more chip tags to various different boards in the documentation, as part of the initiative to add the tagging system to the NuttX docs. This PR adds tags to boards that I interact with more regularly, not all boards. The hope is that these boards are commonly used by others and therefore will benefit the most from the search enhancement. I will introduce tags to the rest of the boards on NuttX over time. ## Impact This impacts only the documentation, no other part of the system. The boards touched in this PR are now searchable by their chips/chip families using tags. ## Testing I build the documentation locally and verified that the tags were generated correctly and that were no build errors. I also verified that all tags appear on the tags main page and that boards can be navigated to through those links. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org