-const char version_string[] = U_BOOT_VERSION" (" __DATE__ " - " __TIME__ ")";
-
-unsigned long monitor_flash_len = CFG_MONITOR_LEN;
-
-static unsigned long mem_malloc_start;
-static unsigned long mem_malloc_end;
-static unsigned long mem_malloc_brk;
-
-static void mem_malloc_init (void)
-{
-
- mem_malloc_start = (TEXT_BASE - CFG_GBL_DATA_SIZE - CFG_MALLOC_LEN);
- mem_malloc_end = (mem_malloc_start + CFG_MALLOC_LEN - 16);
- mem_malloc_brk = mem_malloc_start;
- memset ((void *) mem_malloc_start, 0,
- (mem_malloc_end - mem_malloc_start));
-}
-
-void *sbrk (ptrdiff_t increment)
-{
- unsigned long old = mem_malloc_brk;
- unsigned long new = old + increment;