|
|
|
@ -139,9 +139,13 @@ void board_init_r(gd_t *dummy1, ulong dummy2) |
|
|
|
|
u32 boot_device; |
|
|
|
|
debug(">>spl:board_init_r()\n"); |
|
|
|
|
|
|
|
|
|
#ifdef CONFIG_SYS_SPL_MALLOC_START |
|
|
|
|
#if defined(CONFIG_SYS_SPL_MALLOC_START) |
|
|
|
|
mem_malloc_init(CONFIG_SYS_SPL_MALLOC_START, |
|
|
|
|
CONFIG_SYS_SPL_MALLOC_SIZE); |
|
|
|
|
gd->flags |= GD_FLG_FULL_MALLOC_INIT; |
|
|
|
|
#elif defined(CONFIG_SYS_MALLOC_F_LEN) |
|
|
|
|
gd->malloc_limit = gd->malloc_base + CONFIG_SYS_MALLOC_F_LEN; |
|
|
|
|
gd->malloc_ptr = 0; |
|
|
|
|
#endif |
|
|
|
|
|
|
|
|
|
#ifndef CONFIG_PPC |
|
|
|
@ -238,6 +242,11 @@ void board_init_r(gd_t *dummy1, ulong dummy2) |
|
|
|
|
default: |
|
|
|
|
debug("Unsupported OS image.. Jumping nevertheless..\n"); |
|
|
|
|
} |
|
|
|
|
#if defined(CONFIG_SYS_MALLOC_F_LEN) && !defined(CONFIG_SYS_SPL_MALLOC_SIZE) |
|
|
|
|
debug("SPL malloc() used %#lx bytes (%ld KB)\n", gd->malloc_ptr, |
|
|
|
|
gd->malloc_ptr / 1024); |
|
|
|
|
#endif |
|
|
|
|
|
|
|
|
|
jump_to_image_no_args(&spl_image); |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|