/**
 * @file tpl_stacks_size.h
 *
 * @section descr File description
 *
 * ARM system stacks for exceptions
 *
 * @section copyright Copyright
 *
 * 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
 *
 * @section infos File informations
 *
 * $Date$
 * $Rev$
 * $Author$
 * $URL$
 */

#ifndef TPL_STACKS_SIZE_H
#define TPL_STACKS_SIZE_H

#include "apf27_config.h"

#endif /* TPL_STACKS_SIZE_H */