1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (C) 2011 Andes Technology Corporation
4 * Shawn Lin, Andes Technology Corporation <nobuhiro@andestech.com>
5 * Macpaul Lin, Andes Technology Corporation <macpaul@andestech.com>
6 * Rick Chen, Andes Technology Corporation <rick@andestech.com>
12 #include <u-boot/zlib.h>
13 #include <asm/byteorder.h>
14 #include <asm/bootm.h>
16 DECLARE_GLOBAL_DATA_PTR;
18 __weak void board_quiesce_devices(void)
22 int arch_fixup_fdt(void *blob)
27 int do_bootm_linux(int flag, int argc, char *argv[], bootm_headers_t *images)
31 int machid = bd->bi_arch_number;
32 void (*theKernel)(int arch, uint params);
35 * allow the PREP bootm subcommand, it is required for bootm to work
37 if (flag & BOOTM_STATE_OS_PREP)
40 if ((flag != 0) && (flag != BOOTM_STATE_OS_GO))
43 theKernel = (void (*)(int, uint))images->ep;
45 s = env_get("machid");
47 machid = simple_strtoul(s, NULL, 16);
48 printf("Using machid 0x%x from environment\n", machid);
51 bootstage_mark(BOOTSTAGE_ID_RUN_OS);
53 debug("## Transferring control to Linux (at address %08lx) ...\n",
56 if (IMAGE_ENABLE_OF_LIBFDT && images->ft_len) {
57 #ifdef CONFIG_OF_LIBFDT
58 debug("using: FDT\n");
59 if (image_setup_linux(images)) {
60 printf("FDT creation failed! hanging...");
66 /* we assume that the kernel is in place */
67 printf("\nStarting kernel ...\n\n");
69 cleanup_before_linux();
70 if (IMAGE_ENABLE_OF_LIBFDT && images->ft_len)
71 theKernel(machid, (unsigned long)images->ft_addr);