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
;
29 int dram_init_banksize(void)
31 return fdtdec_setup_memory_banksize();
36 if (fdtdec_setup_mem_size_base() != 0)
42 int board_late_init(void)
44 #if !defined(CONFIG_SPL_BUILD) && defined(CONFIG_SYSRESET_MICROBLAZE)
47 ret
= device_bind_driver(gd
->dm_root
, "mb_soft_reset",
50 printf("Warning: No reset driver: ret=%d\n", ret
);