1/* 2 * (C) Copyright 2008 3 * Ricado Ribalda-Universidad Autonoma de Madrid-ricardo.ribalda@uam.es 4 * This work has been supported by: QTechnology http://qtec.com/ 5 * 6 * SPDX-License-Identifier: GPL-2.0+ 7*/ 8 9#include <config.h> 10#include <common.h> 11#include <asm/processor.h> 12 13int __board_pre_init(void) 14{ 15 return 0; 16} 17int board_pre_init(void) __attribute__((weak, alias("__board_pre_init"))); 18 19int __checkboard(void) 20{ 21 puts("Xilinx PPC440 Generic Board\n"); 22 return 0; 23} 24int checkboard(void) __attribute__((weak, alias("__checkboard"))); 25 26phys_size_t __initdram(int board_type) 27{ 28 return get_ram_size(XPAR_DDR2_SDRAM_MEM_BASEADDR, 29 CONFIG_SYS_SDRAM_SIZE_MB * 1024 * 1024); 30} 31phys_size_t initdram(int) __attribute__((weak, alias("__initdram"))); 32 33void __get_sys_info(sys_info_t *sysInfo) 34{ 35 sysInfo->freqProcessor = XPAR_CORE_CLOCK_FREQ_HZ; 36 sysInfo->freqPLB = XPAR_PLB_CLOCK_FREQ_HZ; 37 sysInfo->freqPCI = 0; 38 39 return; 40} 41void get_sys_info(sys_info_t *) __attribute__((weak, alias("__get_sys_info"))); 42