/** @addtogroup ski ski * @brief Platform driver for the Ski IA-64 simulator machine * @ingroup drvs */