/**************************************************************************** * configs/pirelli_dpl10/include/board.h * * Supposed to be empty * ****************************************************************************/