- * Currently supported third-party boards (via hardware drivers):\r
- * - BUMBLEB (using officially recommended peripheral layout)\r
+ * Currently supported third-party boards (see \ref Group_BoardTypes):\r
+ * - Bumble-B (using officially recommended peripheral layout)\r
+ * - Benito\r
+ * - JM-DB-U2\r
+ * - Teensy (all revisions and versions)\r
+ * - USBTINY MKII (all revisions and versions)\r