1/* Definitions for RTEMS based ARM systems using EABI.
2   Copyright (C) 2011-2015 Free Software Foundation, Inc.
3
4   This file is part of GCC.
5
6   GCC is free software; you can redistribute it and/or modify it
7   under the terms of the GNU General Public License as published
8   by the Free Software Foundation; either version 3, or (at your
9   option) any later version.
10
11   GCC is distributed in the hope that it will be useful, but WITHOUT
12   ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13   or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
14   License for more details.
15
16   You should have received a copy of the GNU General Public License
17   along with GCC; see the file COPYING3.  If not see
18   <http://www.gnu.org/licenses/>.  */
19
20#define HAS_INIT_SECTION
21
22#undef TARGET_OS_CPP_BUILTINS
23#define TARGET_OS_CPP_BUILTINS()		\
24    do {					\
25	builtin_define ("__rtems__");		\
26	builtin_define ("__USE_INIT_FINI__");	\
27	builtin_assert ("system=rtems");	\
28	TARGET_BPABI_CPP_BUILTINS();    	\
29    } while (0)
30