/**
 * @addtogroup pilote_arm_interruption
 * @{
 */

/**
 * @file interruption_configuration_par_defaut.h
 *
 * @brief Paramètres par défaut du pilote du contrôleur d'interruptions
 *
 * $Author$
 * $Date$
 *
 * @version 2.0
 * $Revision$
 */

#ifndef H_INTERRUPTION_CONFIGURATION_PAR_DEFAUT
#define H_INTERRUPTION_CONFIGURATION_PAR_DEFAUT

/** @brief Nombre maximum de services système (SWI) supportés */
#define INTERRUPTION_NOMBRE_SERVICES_SYSTEME 16

#endif