1  /*
   2   * \brief  Lay back and relax
   3   * \author Norman Feske
   4   * \author Christian Helmuth
   5   * \date   2006-07-19
   6   */
   7  
   8  /*
   9   * Copyright (C) 2006-2014 Genode Labs GmbH
  10   *
  11   * This file is part of the Genode OS framework, which is distributed
  12   * under the terms of the GNU General Public License version 2.
  13   */
  14  
  15  #ifndef _INCLUDE__BASE__SLEEP_H_
  16  #define _INCLUDE__BASE__SLEEP_H_
  17  
  18  namespace Genode { __attribute__((noreturn)) void sleep_forever(); }
  19  
  20  #endif /* _INCLUDE__BASE__SLEEP_H_ */