6 #include "libopenbios/bindings.h"
7 #include "libopenbios/elfload.h"
8 #include "arch/common/nvram.h"
9 #include "libc/diskio.h"
10 #include "libopenbios/sys_info.h"
12 int elf_load(struct sys_info *, const char *filename, const char *cmdline);
13 int linux_load(struct sys_info *, const char *filename, const char *cmdline);
19 char *path=pop_fstr_copy(), *param;
21 // char *param="root=/dev/hda2 console=ttyS0,115200n8 console=tty0";
24 printk("[x86] Booting default not supported.\n");
28 param = strchr(path, ' ');
34 printk("[x86] Booting file '%s' with parameters '%s'\n",path, param);
36 if (elf_load(&sys_info, path, param) == LOADER_NOT_SUPPORT)
37 if (linux_load(&sys_info, path, param) == LOADER_NOT_SUPPORT)
38 printk("Unsupported image format\n");