/**
 * @file tpl_config_def.h
 *
 * @section descr File description
 *
 * Here are defined macros used to control the configuration of Trampoline.
 *
 * @section copyright Copyright
 *
 * Trampoline RTOS
 *
 * Trampoline is copyright (c) CNRS, University of Nantes, Ecole Centrale de Nantes
 * Trampoline is protected by the French intellectual property law.
 *
 * This software is distributed under the GNU Public Licence V2.
 * Check the LICENSE file in the root directory of Trampoline
 *
 */

#ifndef TPL_CONFIG_DEF_H
#define TPL_CONFIG_DEF_H

/**
 * Used by configuration flags.
 */
#define NO    0

/**
 * Used by configuration flags.
 */
#define YES   1


#endif
/* End of file tpl_config_def.h */