l4/pkg/bootstrap/server/src/loader_mbi.h

   1 /*
   2  * (c) 2008-2013 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  *
   6  * This file is part of TUD:OS and distributed under the terms of the
   7  * GNU General Public License 2.
   8  * Please see the COPYING-GPL-2 file for details.
   9  */
  10 #ifndef __BOOTSTRAP__LOADER_MBI_H__
  11 #define __BOOTSTRAP__LOADER_MBI_H__
  12
  13 #include <l4/util/mb_info.h>
  14
  15 l4util_mb_info_t *loader_mbi();
  16 l4util_mb_info_t *init_loader_mbi_x86_realmode(void *);
  17 void loader_mbi_add_cmdline(const char *cmdline);
  18
  19 #endif /* ! __BOOTSTRAP__LOADER_MBI_H__ */