#
# Trampoline OS
#
# Trampoline is copyright (c) IRCCyN 2005+
# Trampoline est protégé par la loi sur la propriété intellectuelle
#
# This software is distributed under the Lesser GNU Public Licence
#
# $Date$
# $Rev$
# $Author$
# $URL$
#
# Warning: This Makefile SHOULD not be called directly.
#          It is automatically called from the Makefile
#
# Trampoline OS
#
# Trampoline is copyright (c) IRCCyN 2005+
# Trampoline is protected by the French intellectual property law.
#
# This software is distributed under the Lesser GNU Public Licence
#
# $Date: 2008-02-22 15:39:51 +0100 (Ven, 22 fév 2008) $
# $Rev: 422 $
# $Author: mik $
# $URL: https://trampoline.rts-software.org/svn/trunk/os/Makefile $
#
# Warning: This Makefile SHOULD not be called directly.
#          It is automatically called from the Makefile
#          generated by goil.
#
#kernel OS architecture dependant files
SOURCES += tpl_machine_posix.c tpl_viper_interface.c  tpl_posix_autosar.c tpl_posix_irq.c tpl_posix_context.c #tpl_dispatch.c

ifeq ($(strip $(WITH_TRACE)),true)
SOURCES += tpl_target_trace.c
endif