1 // SPDX-License-Identifier: GPL-2.0+
3 * (C) Copyright 2007-2018 Michal Simek
5 * Michal SIMEK <monstr@monstr.eu>
9 * This is a board specific file. It's OK to include board specific
18 #include <asm/processor.h>
19 #include <asm/microblaze_intc.h>
22 #include <dm/uclass.h>
25 DECLARE_GLOBAL_DATA_PTR;
27 int dram_init_banksize(void)
29 return fdtdec_setup_memory_banksize();
34 if (fdtdec_setup_mem_size_base() != 0)
40 int board_late_init(void)
42 #if !defined(CONFIG_SPL_BUILD) && defined(CONFIG_SYSRESET_MICROBLAZE)
45 ret = device_bind_driver(gd->dm_root, "mb_soft_reset",
48 printf("Warning: No reset driver: ret=%d\n", ret);