3 * Ricado Ribalda-Universidad Autonoma de Madrid-ricardo.ribalda@gmail.com
4 * This work has been supported by: QTechnology http://qtec.com/
6 * SPDX-License-Identifier: GPL-2.0+
11 #include <asm/processor.h>
13 int __board_pre_init(void)
17 int board_pre_init(void) __attribute__((weak
, alias("__board_pre_init")));
19 int __checkboard(void)
21 puts("Xilinx PPC440 Generic Board\n");
24 int checkboard(void) __attribute__((weak
, alias("__checkboard")));
26 phys_size_t
__initdram(int board_type
)
28 return get_ram_size(XPAR_DDR2_SDRAM_MEM_BASEADDR
,
29 CONFIG_SYS_SDRAM_SIZE_MB
* 1024 * 1024);
31 phys_size_t
initdram(int) __attribute__((weak
, alias("__initdram")));
33 void __get_sys_info(sys_info_t
*sysInfo
)
35 sysInfo
->freqProcessor
= XPAR_CORE_CLOCK_FREQ_HZ
;
36 sysInfo
->freqPLB
= XPAR_PLB_CLOCK_FREQ_HZ
;
41 void get_sys_info(sys_info_t
*) __attribute__((weak
, alias("__get_sys_info")));
43 int get_serial_clock(void){
44 return XPAR_UARTNS550_0_CLOCK_FREQ_HZ
;