#ifndef __CONCRETE_CPU_HPP__
  #define __CONCRETE_CPU_HPP__

#if defined BUILD_BOCHS
  #include "bochs/BochsCPU.hpp"
#elif defined BUILD_GEM5
  #if defined BUILD_ARM
    #include "gem5/Gem5ArmCPU.hpp"
  #endif
#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

#endif // __CONCRETE_CPU_HPP__