/**
 * @file tpl_os_it.h
 *
 * @section desc File description
 *
 * This header file provides standard OSEK-VDX API for interrupts management.
 *
 * @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
 *
 * @section infos File informations
 *
 * $Date$
 * $Rev$
 * $Author$
 * $URL$
 */

#ifndef TPL_OS_IT_H
#define TPL_OS_IT_H

#include "tpl_os_types.h"
#include "tpl_compiler.h"

/*
 * Interrupt handling
 * see paragraph 13.3,
 * pages 54+ of OSEK/VDX 2.2.2 spec
 */

#endif /* TPL_OS_IT_H */

/* End of file tpl_os_it.h */