* provides an interface to configure, test and change the status of all the board LEDs.\r
*\r
* If the BOARD value is set to BOARD_USER, this will include the /Board/Dataflash.h file in the user project\r
- * directory. Otherwise, it will include the appropriate built in board driver header file.\r
+ * directory. Otherwise, it will include the appropriate built in board driver header file. If the BOARD value\r
+ * is set to BOARD_NONE, this driver is silently disabled.\r
*\r
* \note To make code as compatible as possible, it is assumed that all boards carry a minimum of four LEDs. If\r
* a board contains less than four LEDs, the remaining LED masks are defined to 0 so as to have no effect.\r
#include "TEENSY/LEDs.h"\r
#elif (BOARD == BOARD_USBTINYMKII)\r
#include "USBTINYMKII/LEDs.h"\r
+ #elif (BOARD == BOARD_BENITO)\r
+ #include "BENITO/LEDs.h"\r
#elif (BOARD == BOARD_USER)\r
#include "Board/LEDs.h"\r
#endif\r