l4/pkg/sigma0/server/src/support.c

   1 /*
   2  * (c) 2008-2009 Technische Universität Dresden
   3  * This file is part of TUD:OS and distributed under the terms of the
   4  * GNU General Public License 2.
   5  * Please see the COPYING-GPL-2 file for details.
   6  */
   7 #include <l4/sys/ipc.h>
   8
   9 void __aeabi_unwind_cpp_pr0(void);
  10 void __aeabi_unwind_cpp_pr1(void);
  11 void __aeabi_unwind_cpp_pr0(void) {}
  12 void __aeabi_unwind_cpp_pr1(void) {}
  13
  14 void _exit(int) __attribute__((noreturn));
  15
  16 void _exit(int x)
  17 {
  18   (void)x;
  19   l4_ipc_sleep(L4_IPC_NEVER);
  20   while (1)
  21     ;
  22 }