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