1// SPDX-License-Identifier: GPL-2.0+
2/*
3 * Board init file for all histb boards
4 *
5 * (C) Copyright 2023 Yang Xiwen <forbidden405@outlook.com>
6 */
7
8#include <common.h>
9#include <fdtdec.h>
10#include <init.h>
11#include <asm/system.h>
12
13int __weak board_init(void)
14{
15	return 0;
16}
17
18int __weak dram_init_banksize(void)
19{
20	return fdtdec_setup_memory_banksize();
21}
22
23int __weak dram_init(void)
24{
25	return fdtdec_setup_mem_size_base();
26}
27
28void __weak reset_cpu(void)
29{
30	psci_system_reset();
31}
32