/* * (C) Copyright 2008 * Ricado Ribalda-Universidad Autonoma de Madrid-ricardo.ribalda@gmail.com * This work has been supported by: QTechnology http://qtec.com/ * * SPDX-License-Identifier: GPL-2.0+ */ #include #include #include ulong get_PCI_freq(void) { return 0; } int checkboard(void) { puts("Xilinx PPC405 Generic Board\n"); return 0; } phys_size_t initdram(int board_type) { return get_ram_size(XPAR_DDR2_SDRAM_MEM_BASEADDR, CONFIG_SYS_SDRAM_SIZE_MB * 1024 * 1024); } void get_sys_info(sys_info_t *sys_info) { sys_info->freqProcessor = XPAR_CORE_CLOCK_FREQ_HZ; sys_info->freqPLB = XPAR_PLB_CLOCK_FREQ_HZ; sys_info->freqPCI = 0; return; } int get_serial_clock(void){ return XPAR_UARTNS550_0_CLOCK_FREQ_HZ; }