2 * Copyright (C) 2013 Samsung Electronics
4 * SPDX-License-Identifier: GPL-2.0+
8 #include <asm/arch/pinmux.h>
9 #include <asm/arch/power.h>
11 DECLARE_GLOBAL_DATA_PTR;
15 gd->bd->bi_boot_params = (PHYS_SDRAM_1 + 0x100UL);
24 for (i = 0; i < CONFIG_NR_DRAM_BANKS; i++) {
25 addr = CONFIG_SYS_SDRAM_BASE + (i * SDRAM_BANK_SIZE);
26 gd->ram_size += get_ram_size((long *)addr, SDRAM_BANK_SIZE);
31 int power_init_board(void)
37 void dram_init_banksize(void)
42 for (i = 0; i < CONFIG_NR_DRAM_BANKS; i++) {
43 addr = CONFIG_SYS_SDRAM_BASE + (i * SDRAM_BANK_SIZE);
44 size = get_ram_size((long *)addr, SDRAM_BANK_SIZE);
46 gd->bd->bi_dram[i].start = addr;
47 gd->bd->bi_dram[i].size = size;
51 static int board_uart_init(void)
55 for (uart_id = PERIPH_ID_UART0; uart_id <= PERIPH_ID_UART3; uart_id++) {
56 err = exynos_pinmux_config(uart_id, PINMUX_FLAG_NONE);
58 debug("UART%d not configured\n",
59 (uart_id - PERIPH_ID_UART0));
66 #ifdef CONFIG_BOARD_EARLY_INIT_F
67 int board_early_init_f(void)
71 err = board_uart_init();
73 debug("UART init failed\n");
80 #ifdef CONFIG_DISPLAY_BOARDINFO
83 printf("\nBoard: Arndale\n");