+ * - Custom User Boards (with Board Drivers if desired, see \ref Page_WritingBoardDrivers)
+ *
+ * \section Sec_AVR32_Support Atmel 32-Bit UC3 AVR (UC3)
+ * Note: <i>The AVR32 UC3 device support is currently <b>experimental</b>, and is included for preview purposes only.</i>
+ *
+ * Currently supported UC3 models:
+ * - AT32UC3A064 (USB Host and Device)
+ * - AT32UC3A164 (USB Host and Device)
+ * - AT32UC3A364 (USB Host and Device)
+ * - AT32UC3A364S (USB Host and Device)
+ * - AT32UC3A464 (USB Host and Device)
+ * - AT32UC3A464S (USB Host and Device)
+ * - AT32UC3B064 (USB Host and Device)
+ * - AT32UC3B164 (USB Host and Device)
+ * - AT32UC3A0128 (USB Host and Device)
+ * - AT32UC3A1128 (USB Host and Device)
+ * - AT32UC3A3128 (USB Host and Device)
+ * - AT32UC3A3128S (USB Host and Device)
+ * - AT32UC3A4128 (USB Host and Device)
+ * - AT32UC3A4128S (USB Host and Device)
+ * - AT32UC3B0128 (USB Host and Device)
+ * - AT32UC3B1128 (USB Host and Device)
+ * - AT32UC3A0256 (USB Host and Device)
+ * - AT32UC3A1256 (USB Host and Device)
+ * - AT32UC3A3256 (USB Host and Device)
+ * - AT32UC3A3256S (USB Host and Device)
+ * - AT32UC3A4256 (USB Host and Device)
+ * - AT32UC3A4256S (USB Host and Device)
+ * - AT32UC3B0256 (USB Host and Device)
+ * - AT32UC3B1256 (USB Host and Device)
+ * - AT32UC3A0512 (USB Host and Device)
+ * - AT32UC3A1512 (USB Host and Device)
+ * - AT32UC3B0512 (USB Host and Device)
+ * - AT32UC3B1512 (USB Host and Device)
+ *
+ * Currently supported Atmel UC3 boards (see \ref Group_BoardTypes):
+ * - EVK1101
+ *
+ * Currently supported third-party boards (see \ref Group_BoardTypes for makefile BOARD constant names):
+ * - Custom User Boards (with Board Drivers if desired, see \ref Page_WritingBoardDrivers)