#ifndef BOARD_H
#define BOARD_H

/* include all board specific files */
#include "boardcfg.h"

#ifdef NEW_CFE_BSP
#include "chipcfg.h"
#else
#include "boardmap.h"
#endif

#define INPUT_CLK_CYCLES_PER_COUNT_REG_INCR 2
#endif