1 // SPDX-License-Identifier: GPL-2.0-only 2 /* 3 * Copyright (c) 2008 PIKA Technologies 4 * Sean MacLennan <smaclennan@pikatech.com> 5 */ 6 7 #include "ops.h" 8 #include "4xx.h" 9 #include "cuboot.h" 10 #include "stdio.h" 11 12 #define TARGET_4xx 13 #define TARGET_44x 14 #include "ppcboot.h" 15 16 static bd_t bd; 17 18 static void warp_fixups(void) 19 { 20 ibm440ep_fixup_clocks(66000000, 11059200, 50000000); 21 ibm4xx_sdram_fixup_memsize(); 22 ibm4xx_fixup_ebc_ranges("/plb/opb/ebc"); 23 dt_fixup_mac_address_by_alias("ethernet0", bd.bi_enetaddr); 24 } 25 26 void platform_init(unsigned long r3, unsigned long r4, unsigned long r5, 27 unsigned long r6, unsigned long r7) 28 { 29 CUBOOT_INIT(); 30 31 platform_ops.fixups = warp_fixups; 32 platform_ops.exit = ibm44x_dbcr_reset; 33 fdt_init(_dtb_start); 34 serial_console_init(); 35 } 36