2 * Copyright (C) 2013 Samsung Electronics
4 * SPDX-License-Identifier: GPL-2.0+
8 #include <asm/arch/pinmux.h>
9 #include <asm/arch/dwmmc.h>
10 #include <asm/arch/power.h>
12 DECLARE_GLOBAL_DATA_PTR;
16 gd->bd->bi_boot_params = (PHYS_SDRAM_1 + 0x100UL);
25 for (i = 0; i < CONFIG_NR_DRAM_BANKS; i++) {
26 addr = CONFIG_SYS_SDRAM_BASE + (i * SDRAM_BANK_SIZE);
27 gd->ram_size += get_ram_size((long *)addr, SDRAM_BANK_SIZE);
32 int power_init_board(void)
38 void dram_init_banksize(void)
43 for (i = 0; i < CONFIG_NR_DRAM_BANKS; i++) {
44 addr = CONFIG_SYS_SDRAM_BASE + (i * SDRAM_BANK_SIZE);
45 size = get_ram_size((long *)addr, SDRAM_BANK_SIZE);
47 gd->bd->bi_dram[i].start = addr;
48 gd->bd->bi_dram[i].size = size;
52 #ifdef CONFIG_GENERIC_MMC
53 int board_mmc_init(bd_t *bis)
56 /* dwmmc initializattion for available channels */
57 ret = exynos_dwmmc_init(gd->fdt_blob);
59 debug("dwmmc init failed\n");
65 static int board_uart_init(void)
69 for (uart_id = PERIPH_ID_UART0; uart_id <= PERIPH_ID_UART3; uart_id++) {
70 err = exynos_pinmux_config(uart_id, PINMUX_FLAG_NONE);
72 debug("UART%d not configured\n",
73 (uart_id - PERIPH_ID_UART0));
80 #ifdef CONFIG_BOARD_EARLY_INIT_F
81 int board_early_init_f(void)
85 err = board_uart_init();
87 debug("UART init failed\n");
94 #ifdef CONFIG_DISPLAY_BOARDINFO
97 printf("\nBoard: Arndale\n");