2 * (C) Copyright 2000-2006
3 * Wolfgang Denk, DENX Software Engineering, wd@denx.de.
5 * See file CREDITS for list of people who contributed to this
8 * This program is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU General Public License as
10 * published by the Free Software Foundation; either version 2 of
11 * the License, or (at your option) any later version.
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
18 * You should have received a copy of the GNU General Public License
19 * along with this program; if not, write to the Free Software
20 * Foundation, Inc., 59 Temple Place, Suite 330, Boston,
36 #include <environment.h>
37 #include <asm/byteorder.h>
39 #if defined(CONFIG_OF_LIBFDT)
42 #include <fdt_support.h>
43 #elif defined(CONFIG_OF_FLAT_TREE)
47 DECLARE_GLOBAL_DATA_PTR;
50 extern int do_reset (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[]);
52 #if defined(CONFIG_TIMESTAMP) || defined(CONFIG_CMD_DATE)
56 #ifdef CFG_HUSH_PARSER
60 #ifdef CONFIG_HAS_DATAFLASH
61 #include <dataflash.h>
64 int gunzip (void *, int, unsigned char *, unsigned long *);
67 extern void bz_internal_error(int);
70 #if defined(CONFIG_CMD_IMI)
71 static int image_info (unsigned long addr);
74 #if defined(CONFIG_CMD_IMLS)
76 extern flash_info_t flash_info[]; /* info for FLASH chips */
77 static int do_imls (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[]);
80 static void print_type (image_header_t *hdr);
83 * Continue booting an OS image; caller already has:
84 * - copied image header to global variable `header'
85 * - checked header magic number, checksums (both header & image),
86 * - verified image architecture (PPC) and type (KERNEL or MULTI),
87 * - loaded (first part of) image to header load address,
88 * - disabled interrupts.
90 typedef void boot_os_Fcn (cmd_tbl_t *cmdtp, int flag,
91 int argc, char *argv[],
92 ulong addr, /* of image to boot */
93 ulong *len_ptr, /* multi-file image length table */
94 int verify); /* getenv("verify")[0] != 'n' */
96 extern boot_os_Fcn do_bootm_linux;
98 #ifdef CONFIG_SILENT_CONSOLE
99 static void fixup_silent_linux (void);
101 static boot_os_Fcn do_bootm_netbsd;
102 static boot_os_Fcn do_bootm_rtems;
103 #if defined(CONFIG_CMD_ELF)
104 static boot_os_Fcn do_bootm_vxworks;
105 static boot_os_Fcn do_bootm_qnxelf;
106 int do_bootvx ( cmd_tbl_t *cmdtp, int flag, int argc, char *argv[] );
107 int do_bootelf (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[] );
109 #if defined(CONFIG_ARTOS) && defined(CONFIG_PPC)
110 static boot_os_Fcn do_bootm_artos;
112 #ifdef CONFIG_LYNXKDI
113 static boot_os_Fcn do_bootm_lynxkdi;
114 extern void lynxkdi_boot( image_header_t * );
117 #ifndef CFG_BOOTM_LEN
118 #define CFG_BOOTM_LEN 0x800000 /* use 8MByte as default max gunzip size */
121 image_header_t header;
123 ulong load_addr = CFG_LOAD_ADDR; /* Default Load Address */
125 int do_bootm (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[])
131 uint unc_len = CFG_BOOTM_LEN;
134 int (*appl)(int, char *[]);
135 image_header_t *hdr = &header;
137 verify = getenv_verify ();
142 addr = simple_strtoul(argv[1], NULL, 16);
145 show_boot_progress (1);
146 printf ("## Booting image at %08lx ...\n", addr);
148 /* Copy header so we can blank CRC field for re-calculation */
149 #ifdef CONFIG_HAS_DATAFLASH
150 if (addr_dataflash(addr)){
151 read_dataflash (addr, image_get_header_size (), (char *)&header);
154 memmove (&header, (char *)addr, image_get_header_size ());
156 if (!image_check_magic(hdr)) {
157 puts ("Bad Magic Number\n");
158 show_boot_progress (-1);
161 show_boot_progress (2);
163 if (!image_check_hcrc (hdr)) {
164 puts ("Bad Header Checksum\n");
165 show_boot_progress (-2);
168 show_boot_progress (3);
170 #ifdef CONFIG_HAS_DATAFLASH
171 if (addr_dataflash(addr)){
172 len = image_get_image_size (hdr);
173 read_dataflash(addr, len, (char *)CFG_LOAD_ADDR);
174 addr = CFG_LOAD_ADDR;
179 /* for multi-file images we need the data part, too */
180 print_image_hdr ((image_header_t *)addr);
182 len = image_get_data_size (hdr);
183 data = addr + image_get_header_size ();
184 len_ptr = (ulong *)data;
187 puts (" Verifying Checksum ... ");
188 if (!image_check_dcrc ((image_header_t *)addr)) {
189 printf ("Bad Data CRC\n");
190 show_boot_progress (-3);
195 show_boot_progress (4);
197 if (!image_check_target_arch (hdr)) {
198 printf ("Unsupported Architecture 0x%x\n", image_get_arch (hdr));
199 show_boot_progress (-4);
202 show_boot_progress (5);
204 switch (image_get_type (hdr)) {
205 case IH_TYPE_STANDALONE:
206 name = "Standalone Application";
207 /* A second argument overwrites the load address */
209 image_set_load (hdr, simple_strtoul (argv[2], NULL, 16));
213 name = "Kernel Image";
216 name = "Multi-File Image";
217 len = image_to_cpu (len_ptr[0]);
218 /* OS kernel is always the first image */
219 data += 8; /* kernel_len + terminator */
220 for (i=1; len_ptr[i]; ++i)
223 default: printf ("Wrong Image Type for %s command\n", cmdtp->name);
224 show_boot_progress (-5);
227 show_boot_progress (6);
230 * We have reached the point of no return: we are going to
231 * overwrite all exception vector code, so we cannot easily
232 * recover from any failures any more...
235 iflag = disable_interrupts();
237 #ifdef CONFIG_AMIGAONEG3SE
239 * We've possible left the caches enabled during
240 * bios emulation, so turn them off again
243 invalidate_l1_instruction_cache();
248 switch (image_get_comp (hdr)) {
250 if (image_get_load (hdr) == addr) {
251 printf (" XIP %s ... ", name);
253 printf (" Loading %s ... ", name);
255 memmove_wd ((void *)image_get_load (hdr),
256 (void *)data, len, CHUNKSZ);
262 printf (" Uncompressing %s ... ", name);
263 if (gunzip ((void *)image_get_load (hdr), unc_len,
264 (uchar *)data, &len) != 0) {
265 puts ("GUNZIP ERROR - must RESET board to recover\n");
266 show_boot_progress (-6);
267 do_reset (cmdtp, flag, argc, argv);
272 printf (" Uncompressing %s ... ", name);
274 * If we've got less than 4 MB of malloc() space,
275 * use slower decompression algorithm which requires
276 * at most 2300 KB of memory.
278 i = BZ2_bzBuffToBuffDecompress ((char*)image_get_load (hdr),
279 &unc_len, (char *)data, len,
280 CFG_MALLOC_LEN < (4096 * 1024), 0);
282 printf ("BUNZIP2 ERROR %d - must RESET board to recover\n", i);
283 show_boot_progress (-6);
284 do_reset (cmdtp, flag, argc, argv);
287 #endif /* CONFIG_BZIP2 */
291 printf ("Unimplemented compression type %d\n", image_get_comp (hdr));
292 show_boot_progress (-7);
296 show_boot_progress (7);
298 switch (image_get_type (hdr)) {
299 case IH_TYPE_STANDALONE:
303 /* load (and uncompress), but don't start if "autostart"
306 if (((s = getenv("autostart")) != NULL) && (strcmp(s,"no") == 0)) {
308 sprintf(buf, "%lX", len);
309 setenv("filesize", buf);
312 appl = (int (*)(int, char *[]))image_get_ep (hdr);
313 (*appl)(argc-1, &argv[1]);
322 printf ("Can't boot image type %d\n", image_get_type (hdr));
323 show_boot_progress (-8);
326 show_boot_progress (8);
328 switch (image_get_os (hdr)) {
329 default: /* handled by (original) Linux case */
331 #ifdef CONFIG_SILENT_CONSOLE
332 fixup_silent_linux();
334 do_bootm_linux (cmdtp, flag, argc, argv,
335 addr, len_ptr, verify);
338 do_bootm_netbsd (cmdtp, flag, argc, argv,
339 addr, len_ptr, verify);
342 #ifdef CONFIG_LYNXKDI
344 do_bootm_lynxkdi (cmdtp, flag, argc, argv,
345 addr, len_ptr, verify);
350 do_bootm_rtems (cmdtp, flag, argc, argv,
351 addr, len_ptr, verify);
354 #if defined(CONFIG_CMD_ELF)
356 do_bootm_vxworks (cmdtp, flag, argc, argv,
357 addr, len_ptr, verify);
360 do_bootm_qnxelf (cmdtp, flag, argc, argv,
361 addr, len_ptr, verify);
366 do_bootm_artos (cmdtp, flag, argc, argv,
367 addr, len_ptr, verify);
372 show_boot_progress (-9);
374 puts ("\n## Control returned to monitor - resetting...\n");
375 do_reset (cmdtp, flag, argc, argv);
381 bootm, CFG_MAXARGS, 1, do_bootm,
382 "bootm - boot application image from memory\n",
383 "[addr [arg ...]]\n - boot application image stored in memory\n"
384 "\tpassing arguments 'arg ...'; when booting a Linux kernel,\n"
385 "\t'arg' can be the address of an initrd image\n"
386 #if defined(CONFIG_OF_FLAT_TREE) || defined(CONFIG_OF_LIBFDT)
387 "\tWhen booting a Linux kernel which requires a flat device-tree\n"
388 "\ta third argument is required which is the address of the\n"
389 "\tdevice-tree blob. To boot that kernel without an initrd image,\n"
390 "\tuse a '-' for the second argument. If you do not pass a third\n"
391 "\ta bd_info struct will be passed instead\n"
395 #ifdef CONFIG_SILENT_CONSOLE
397 fixup_silent_linux ()
399 char buf[256], *start, *end;
400 char *cmdline = getenv ("bootargs");
402 /* Only fix cmdline when requested */
403 if (!(gd->flags & GD_FLG_SILENT))
406 debug ("before silent fix-up: %s\n", cmdline);
408 if ((start = strstr (cmdline, "console=")) != NULL) {
409 end = strchr (start, ' ');
410 strncpy (buf, cmdline, (start - cmdline + 8));
412 strcpy (buf + (start - cmdline + 8), end);
414 buf[start - cmdline + 8] = '\0';
416 strcpy (buf, cmdline);
417 strcat (buf, " console=");
420 strcpy (buf, "console=");
423 setenv ("bootargs", buf);
424 debug ("after silent fix-up: %s\n", buf);
426 #endif /* CONFIG_SILENT_CONSOLE */
429 do_bootm_netbsd (cmd_tbl_t *cmdtp, int flag,
430 int argc, char *argv[],
435 image_header_t *hdr = &header;
437 void (*loader)(bd_t *, image_header_t *, char *, char *);
438 image_header_t *img_addr;
444 * Booting a (NetBSD) kernel image
446 * This process is pretty similar to a standalone application:
447 * The (first part of an multi-) image must be a stage-2 loader,
448 * which in turn is responsible for loading & invoking the actual
449 * kernel. The only differences are the parameters being passed:
450 * besides the board info strucure, the loader expects a command
451 * line, the name of the console device, and (optionally) the
452 * address of the original image header.
456 if ((image_check_type (hdr, IH_TYPE_MULTI)) && (len_ptr[1]))
457 img_addr = (image_header_t *) addr;
461 #if defined (CONFIG_8xx_CONS_SMC1)
463 #elif defined (CONFIG_8xx_CONS_SMC2)
465 #elif defined (CONFIG_8xx_CONS_SCC2)
467 #elif defined (CONFIG_8xx_CONS_SCC3)
475 for (i=2, len=0 ; i<argc ; i+=1)
476 len += strlen (argv[i]) + 1;
477 cmdline = malloc (len);
479 for (i=2, len=0 ; i<argc ; i+=1) {
481 cmdline[len++] = ' ';
482 strcpy (&cmdline[len], argv[i]);
483 len += strlen (argv[i]);
485 } else if ((cmdline = getenv("bootargs")) == NULL) {
489 loader = (void (*)(bd_t *, image_header_t *, char *, char *))image_get_ep (hdr);
491 printf ("## Transferring control to NetBSD stage-2 loader (at address %08lx) ...\n",
494 show_boot_progress (15);
497 * NetBSD Stage-2 Loader Parameters:
498 * r3: ptr to board info data
501 * r6: boot args string
503 (*loader) (gd->bd, img_addr, consdev, cmdline);
506 #if defined(CONFIG_ARTOS) && defined(CONFIG_PPC)
508 /* Function that returns a character from the environment */
509 extern uchar (*env_get_char)(int);
512 do_bootm_artos (cmd_tbl_t *cmdtp, int flag,
513 int argc, char *argv[],
521 int i, j, nxt, len, envno, envsz;
523 void (*entry)(bd_t *bd, char *cmdline, char **fwenv, ulong top);
524 image_header_t *hdr = &header;
527 * Booting an ARTOS kernel image + application
530 /* this used to be the top of memory, but was wrong... */
532 /* get stack pointer */
533 asm volatile ("mr %0,1" : "=r"(top) );
535 debug ("## Current stack ends at 0x%08lX ", top);
537 top -= 2048; /* just to be sure */
538 if (top > CFG_BOOTMAPSZ)
542 debug ("=> set upper limit to 0x%08lX\n", top);
544 /* first check the artos specific boot args, then the linux args*/
545 if ((s = getenv("abootargs")) == NULL && (s = getenv("bootargs")) == NULL)
548 /* get length of cmdline, and place it */
550 top = (top - (len + 1)) & ~0xF;
551 cmdline = (char *)top;
552 debug ("## cmdline at 0x%08lX ", top);
556 top = (top - sizeof(bd_t)) & ~0xF;
557 debug ("## bd at 0x%08lX ", top);
559 memcpy(kbd, gd->bd, sizeof(bd_t));
561 /* first find number of env entries, and their size */
564 for (i = 0; env_get_char(i) != '\0'; i = nxt + 1) {
565 for (nxt = i; env_get_char(nxt) != '\0'; ++nxt)
568 envsz += (nxt - i) + 1; /* plus trailing zero */
570 envno++; /* plus the terminating zero */
571 debug ("## %u envvars total size %u ", envno, envsz);
573 top = (top - sizeof(char **)*envno) & ~0xF;
574 fwenv = (char **)top;
575 debug ("## fwenv at 0x%08lX ", top);
577 top = (top - envsz) & ~0xF;
582 for (i = 0; env_get_char(i) != '\0'; i = nxt + 1) {
583 for (nxt = i; env_get_char(nxt) != '\0'; ++nxt)
586 for (j = i; j < nxt; ++j)
587 *s++ = env_get_char(j);
590 *ss++ = NULL; /* terminate */
592 entry = (void (*)(bd_t *, char *, char **, ulong))image_get_ep (hdr);
593 (*entry)(kbd, cmdline, fwenv, top);
598 #if defined(CONFIG_CMD_BOOTD)
599 int do_bootd (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[])
602 #ifndef CFG_HUSH_PARSER
603 if (run_command (getenv ("bootcmd"), flag) < 0) rcode = 1;
605 if (parse_string_outer(getenv("bootcmd"),
606 FLAG_PARSE_SEMICOLON | FLAG_EXIT_FROM_LOOP) != 0 ) rcode = 1;
612 boot, 1, 1, do_bootd,
613 "boot - boot default, i.e., run 'bootcmd'\n",
617 /* keep old command name "bootd" for backward compatibility */
619 bootd, 1, 1, do_bootd,
620 "bootd - boot default, i.e., run 'bootcmd'\n",
626 #if defined(CONFIG_CMD_IMI)
627 int do_iminfo ( cmd_tbl_t *cmdtp, int flag, int argc, char *argv[])
634 return image_info (load_addr);
637 for (arg=1; arg <argc; ++arg) {
638 addr = simple_strtoul(argv[arg], NULL, 16);
639 if (image_info (addr) != 0) rcode = 1;
644 static int image_info (ulong addr)
646 image_header_t *hdr = (image_header_t *)addr;
648 printf ("\n## Checking Image at %08lx ...\n", addr);
650 if (!image_check_magic (hdr)) {
651 puts (" Bad Magic Number\n");
655 if (!image_check_hcrc (hdr)) {
656 puts (" Bad Header Checksum\n");
660 print_image_hdr (hdr);
662 puts (" Verifying Checksum ... ");
663 if (!image_check_dcrc (hdr)) {
664 puts (" Bad Data CRC\n");
672 iminfo, CFG_MAXARGS, 1, do_iminfo,
673 "iminfo - print header information for application image\n",
675 " - print header information for application image starting at\n"
676 " address 'addr' in memory; this includes verification of the\n"
677 " image contents (magic number, header and payload checksums)\n"
682 #if defined(CONFIG_CMD_IMLS)
683 /*-----------------------------------------------------------------------
684 * List all images found in flash.
686 int do_imls (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[])
692 for (i=0, info=&flash_info[0]; i<CFG_MAX_FLASH_BANKS; ++i, ++info) {
693 if (info->flash_id == FLASH_UNKNOWN)
695 for (j=0; j<info->sector_count; ++j) {
697 hdr = (image_header_t *)info->start[j];
699 if (!hdr || !image_check_magic (hdr))
702 if (!image_check_hcrc (hdr))
705 printf ("Image at %08lX:\n", (ulong)hdr);
706 print_image_hdr (hdr);
708 puts (" Verifying Checksum ... ");
709 if (!image_check_dcrc (hdr)) {
710 puts ("Bad Data CRC\n");
724 "imls - list all images found in flash\n",
726 " - Prints information about all images found at sector\n"
727 " boundaries in flash.\n"
732 print_image_hdr (image_header_t *hdr)
734 #if defined(CONFIG_TIMESTAMP) || defined(CONFIG_CMD_DATE)
735 time_t timestamp = (time_t)image_get_time (hdr);
739 printf (" Image Name: %.*s\n", IH_NMLEN, image_get_name (hdr));
740 #if defined(CONFIG_TIMESTAMP) || defined(CONFIG_CMD_DATE)
741 to_tm (timestamp, &tm);
742 printf (" Created: %4d-%02d-%02d %2d:%02d:%02d UTC\n",
743 tm.tm_year, tm.tm_mon, tm.tm_mday,
744 tm.tm_hour, tm.tm_min, tm.tm_sec);
746 puts (" Image Type: "); print_type(hdr);
747 printf ("\n Data Size: %d Bytes = ", image_get_data_size (hdr));
748 print_size (image_get_data_size (hdr), "\n");
749 printf (" Load Address: %08x\n"
750 " Entry Point: %08x\n",
751 image_get_load (hdr), image_get_ep (hdr));
753 if (image_check_type (hdr, IH_TYPE_MULTI)) {
756 ulong *len_ptr = (ulong *)((ulong)hdr + image_get_header_size ());
758 puts (" Contents:\n");
759 for (i=0; (len = image_to_cpu (*len_ptr)); ++i, ++len_ptr) {
760 printf (" Image %d: %8ld Bytes = ", i, len);
761 print_size (len, "\n");
768 print_type (image_header_t *hdr)
770 char *os, *arch, *type, *comp;
772 switch (image_get_os (hdr)) {
773 case IH_OS_INVALID: os = "Invalid OS"; break;
774 case IH_OS_NETBSD: os = "NetBSD"; break;
775 case IH_OS_LINUX: os = "Linux"; break;
776 case IH_OS_VXWORKS: os = "VxWorks"; break;
777 case IH_OS_QNX: os = "QNX"; break;
778 case IH_OS_U_BOOT: os = "U-Boot"; break;
779 case IH_OS_RTEMS: os = "RTEMS"; break;
781 case IH_OS_ARTOS: os = "ARTOS"; break;
783 #ifdef CONFIG_LYNXKDI
784 case IH_OS_LYNXOS: os = "LynxOS"; break;
786 default: os = "Unknown OS"; break;
789 switch (image_get_arch (hdr)) {
790 case IH_ARCH_INVALID: arch = "Invalid CPU"; break;
791 case IH_ARCH_ALPHA: arch = "Alpha"; break;
792 case IH_ARCH_ARM: arch = "ARM"; break;
793 case IH_ARCH_AVR32: arch = "AVR32"; break;
794 case IH_ARCH_BLACKFIN: arch = "Blackfin"; break;
795 case IH_ARCH_I386: arch = "Intel x86"; break;
796 case IH_ARCH_IA64: arch = "IA64"; break;
797 case IH_ARCH_M68K: arch = "M68K"; break;
798 case IH_ARCH_MICROBLAZE:arch = "Microblaze"; break;
799 case IH_ARCH_MIPS64: arch = "MIPS 64 Bit"; break;
800 case IH_ARCH_MIPS: arch = "MIPS"; break;
801 case IH_ARCH_NIOS2: arch = "Nios-II"; break;
802 case IH_ARCH_NIOS: arch = "Nios"; break;
803 case IH_ARCH_PPC: arch = "PowerPC"; break;
804 case IH_ARCH_S390: arch = "IBM S390"; break;
805 case IH_ARCH_SH: arch = "SuperH"; break;
806 case IH_ARCH_SPARC64: arch = "SPARC 64 Bit"; break;
807 case IH_ARCH_SPARC: arch = "SPARC"; break;
808 default: arch = "Unknown Architecture"; break;
811 switch (image_get_type (hdr)) {
812 case IH_TYPE_INVALID: type = "Invalid Image"; break;
813 case IH_TYPE_STANDALONE:type = "Standalone Program"; break;
814 case IH_TYPE_KERNEL: type = "Kernel Image"; break;
815 case IH_TYPE_RAMDISK: type = "RAMDisk Image"; break;
816 case IH_TYPE_MULTI: type = "Multi-File Image"; break;
817 case IH_TYPE_FIRMWARE: type = "Firmware"; break;
818 case IH_TYPE_SCRIPT: type = "Script"; break;
819 case IH_TYPE_FLATDT: type = "Flat Device Tree"; break;
820 default: type = "Unknown Image"; break;
823 switch (image_get_comp (hdr)) {
824 case IH_COMP_NONE: comp = "uncompressed"; break;
825 case IH_COMP_GZIP: comp = "gzip compressed"; break;
826 case IH_COMP_BZIP2: comp = "bzip2 compressed"; break;
827 default: comp = "unknown compression"; break;
830 printf ("%s %s %s (%s)", arch, os, type, comp);
834 do_bootm_rtems (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[],
835 ulong addr, ulong *len_ptr, int verify)
837 image_header_t *hdr = &header;
838 void (*entry_point)(bd_t *);
840 entry_point = (void (*)(bd_t *))image_get_ep (hdr);
842 printf ("## Transferring control to RTEMS (at address %08lx) ...\n",
845 show_boot_progress (15);
849 * r3: ptr to board info data
852 (*entry_point ) ( gd->bd );
855 #if defined(CONFIG_CMD_ELF)
857 do_bootm_vxworks (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[],
858 ulong addr, ulong *len_ptr, int verify)
860 image_header_t *hdr = &header;
863 sprintf(str, "%x", image_get_ep (hdr)); /* write entry-point into string */
864 setenv("loadaddr", str);
865 do_bootvx(cmdtp, 0, 0, NULL);
869 do_bootm_qnxelf (cmd_tbl_t *cmdtp, int flag, int argc, char *argv[],
870 ulong addr, ulong *len_ptr, int verify)
872 image_header_t *hdr = &header;
876 sprintf(str, "%x", image_get_ep (hdr)); /* write entry-point into string */
877 local_args[0] = argv[0];
878 local_args[1] = str; /* and provide it via the arguments */
879 do_bootelf(cmdtp, 0, 2, local_args);
883 #ifdef CONFIG_LYNXKDI
885 do_bootm_lynxkdi (cmd_tbl_t *cmdtp, int flag,
886 int argc, char *argv[],
891 lynxkdi_boot( &header );
894 #endif /* CONFIG_LYNXKDI */