#ifndef _PEXPERT_ARM_BOARD_CONFIG_H
#define _PEXPERT_ARM_BOARD_CONFIG_H
#ifdef ARM_BOARD_CONFIG_T8002
#define ARMA7
#include <pexpert/arm/T8002.h>
#define MAX_CPUS 2
#define MAX_CPU_CLUSTERS 1
#define ARM_BOARD_WFE_TIMEOUT_NS 1000
#define MAX_L2_CLINE 6
#define ARM_BOARD_CLASS_T8002
#define PEXPERT_NO_3X_IMAGES 1
#endif
#ifdef ARM_BOARD_CONFIG_T8004
#define ARMA7
#include <pexpert/arm/T8002.h>
#define MAX_CPUS 2
#define MAX_CPU_CLUSTERS 1
#define ARM_BOARD_WFE_TIMEOUT_NS 1000
#define MAX_L2_CLINE 6
#define ARM_BOARD_CLASS_T8002
#define PEXPERT_NO_3X_IMAGES 1
#endif
#endif