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