l4/pkg/l4util/lib/src/reboot.c

   1 /*
   2  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
   3  *               Alexander Warg <warg@os.inf.tu-dresden.de>
   4  *     economic rights: Technische Universität Dresden (Germany)
   5  * This file is part of TUD:OS and distributed under the terms of the
   6  * GNU Lesser General Public License 2.1.
   7  * Please see the COPYING-LGPL-2.1 file for details.
   8  */
   9 #include <l4/sys/kdebug.h>
  10 #include <l4/util/reboot.h>
  11
  12 L4_CV void
  13 l4util_reboot(void)
  14 {
  15   enter_kdebug("*#^");          /* Always available */
  16
  17   enter_kdebug("Exit failed!"); /* Should we loop here? */
  18
  19   while (1)
  20     ;
  21 }