stage2/kernel.h

   1 /*  kernel.h - device tree manipulation and kernel loading
   2
   3 Copyright (C) 2010-2011  Hector Martin "marcan" <hector@marcansoft.com>
   4
   5 This code is licensed to you under the terms of the GNU GPL, version 2;
   6 see file COPYING or http://www.gnu.org/licenses/old-licenses/gpl-2.0.txt
   7 */
   8
   9 #ifndef KERNEL_H
  10 #define KERNEL_H
  11
  12 #include "types.h"
  13
  14 #define MAX_CMDLINE_SIZE 255
  15
  16 int kernel_load(const u8 *addr, u32 len);
  17 void kernel_build_cmdline(const char *parameters, const char *root);
  18 void kernel_set_initrd(void *start, size_t size);
  19 void kernel_launch(void);
  20
  21 #endif