2 * Copyright (C) 2010 Samsung Electronics
3 * Minkyu Kang <mk7.kang@samsung.com>
13 #define PUTS(s) serial_puts(DEBUG_MARK""s)
18 typedef int (init_fnc_t)(void);
20 static void normal_boot(void)
24 buf = (uchar *)CONFIG_SYS_BOOT_ADDR;
26 board_load_uboot(buf);
28 ((init_fnc_t *)CONFIG_SYS_BOOT_ADDR)();
31 static void recovery_boot(void)
33 PUTS("Recovery Mode\n");
35 /* usb download and write image */
42 void start_recovery_boot(void)
44 /* armboot_start is defined in the board-specific linker script */
45 mem_malloc_init(_armboot_start - CONFIG_SYS_MALLOC_LEN,
46 CONFIG_SYS_MALLOC_LEN);
48 board_recovery_init();
55 if (board_check_condition())
60 /* NOTREACHED - no way out of command loop except booting */
64 * origin at lib_arm/eabi_compat.c to support EABI