/**
 * @defgroup RTEMSBSPsX8664 x86-64
 *
 * @ingroup RTEMSBSPs
 *
 * @brief x86-64 Board Support Package.
 */