#
# Trampoline OS
#
# Trampoline is copyright (c) IRCCyN 2005+
# Copyright ESEO for function and data structures documentation and ARM port
# Trampoline is protected by the French intellectual property law.
#
# This software is distributed under the Lesser GNU Public Licence
#
# 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$
# $Rev$
# $Author$
# $URL$
#
# Warning: This Makefile SHOULD not be called directly.
#          It is automatically called from the Makefile
#          generated by goil.
#
#kernel OS architecture dependant files

SOURCES += \
arm926_mem_prot.c \
arm926_mmu.c \
arm926_cpu_cache.c \
arm926_exception_catch.S