l4/pkg/bootstrap_custom/server/src/startup.h

   1 /*
   2  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
   3  *               Alexander Warg <warg@os.inf.tu-dresden.de>,
   4  *               Frank Mehnert <fm3@os.inf.tu-dresden.de>
   5  *     economic rights: Technische Universität Dresden (Germany)
   6  *
   7  * This file is part of TUD:OS and distributed under the terms of the
   8  * GNU General Public License 2.
   9  * Please see the COPYING-GPL-2 file for details.
  10  */
  11 #ifndef __STARTUP_H__
  12 #define __STARTUP_H__
  13
  14 #include <l4/sys/l4int.h>
  15 #include <l4/util/mb_info.h>
  16 #include <l4/sys/compiler.h>
  17
  18 #include "types.h"
  19
  20 typedef struct
  21 {
  22   unsigned long kernel_start;
  23   unsigned long sigma0_start;
  24   unsigned long roottask_start;
  25   unsigned long mbi_low, mbi_high;
  26 } boot_info_t;
  27
  28 //const char * get_cmdline(l4util_mb_info_t *mbi);
  29
  30 #ifdef __cplusplus
  31 #include "koptions-def.h"
  32 char const *check_arg(char const *cmdline, const char *arg);
  33 extern L4_kernel_options::Uart kuart;
  34 extern unsigned int kuart_flags;
  35 extern "C" void startup(char const *cmdline);
  36 #else
  37 extern void startup(char const *cmdline);
  38 #endif
  39
  40 #endif /* ! __STARTUP_H__ */