/*
 *  @file tpl_as_gt_kernel.h
 *
 * @section desc File description
 *
 * Trampoline autosar extension sync to global time header
 *
 * @section copyright Copyright
 *
 * Trampoline OS
 *
 * Trampoline is copyright (c) IRCCyN 2005-2007
 * Autosar extension is copyright (c) IRCCyN and ESEO 2007
 * libpcl port is copyright (c) Jean-Francois Deverge 2006
 * ARM7 port is copyright (c) ESEO 2007
 * hcs12 port is copyright (c) Geensys 2007
 * Trampoline and its Autosar extension are protected by the
 * French intellectual property law.
 *
 * This software is distributed under the Lesser GNU Public Licence
 *
 * @section infos File informations
 *
 * $Date$
 * $Rev$
 * $Author$
 * $URL$
 */

#ifndef TPL_AS_GT_KERNEL_H
#define TPL_AS_GT_KERNEL_H

#include "tpl_as_st_kernel.h"

/* TPL_AS_GT_KERNEL_H */
#endif

/* End of file tpl_as_gt_kernel.h */