#ifndef __SAL_CONFIG_HPP__
  #define __SAL_CONFIG_HPP__

#include <stdint.h>

#include "config/VariantConfig.hpp"

// Type-config depends on the current selected simulator:
#if defined BUILD_BOCHS
  #include "bochs/BochsConfig.hpp"
#elif defined BUILD_GEM5
  #include "gem5/Gem5Config.hpp"
#elif defined BUILD_OVP
  #include "ovp/OVPConfig.hpp"
#elif defined BUILD_QEMU
  #include "qemu/QEMUConfig.hpp"
#elif defined BUILD_T32
  #include "t32/T32Config.hpp"
#else
  #error SAL Config Target not defined
#endif

namespace fail {

typedef guest_address_t  address_t;   //!< common address type to be used in experiment flows
typedef uint8_t          byte_t;      //!< 8 bit type for memory access (read or write)
typedef uint32_t         regwidth_t;  //!< type of register width [bits]
typedef register_data_t  regdata_t;   //!< type of register data
typedef timer_t          timer_id_t;  //!< type of timer IDs
//! backend-specific notion of time, e.g. CPU cycles or nanoseconds
//! (move this to backend-specific headers when necessary)
typedef uint64_t         simtime_t;
//! backend-specific notion of time difference
typedef int64_t          simtime_diff_t;

// Note: The following flags are defined in SALConfig.cc.

//! invalid address flag (e.g. for memory address ptrs)
extern const address_t   ADDR_INV;
//! address wildcard (e.g. for breakpoint listeners)
extern const address_t   ANY_ADDR;
//! instruction wildcard (e.g. for jump listeners)
extern const unsigned    ANY_INSTR;
//! trap wildcard
extern const unsigned    ANY_TRAP;
//! interrupt wildcard
extern const unsigned    ANY_INTERRUPT;
//! invalid timer id (e.g. for timer listeners)
extern const timer_id_t  INVALID_TIMER;

} // end-of-namespace: fail

#endif // __SAL_CONFIG_HPP__