#
# 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-10-01 16:40:59 +0200 (Wed, 01 Oct 2008) $
# $Rev: 514 $
# $Author: jlb $
# $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 files
SOURCES += tpl_debug.c