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