| /* | |
| * (C) Copyright 2016 Rockchip Electronics Co., Ltd | |
| * | |
| * SPDX-License-Identifier: GPL-2.0+ | |
| */ | |
| #include <common.h> | |
| #include <asm/armv8/mmu.h> | |
| DECLARE_GLOBAL_DATA_PTR; | |
| int board_init(void) | |
| { | |
| return 0; | |
| } | |
| int dram_init(void) | |
| { | |
| gd->ram_size = 0x80000000; | |
| return 0; | |
| } | |
| void dram_init_banksize(void) | |
| { | |
| /* Reserve 0x200000 for ATF bl31 */ | |
| gd->bd->bi_dram[0].start = 0x200000; | |
| gd->bd->bi_dram[0].size = 0x80000000; | |
| } |