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 
warp_fixups(void)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 
platform_init(unsigned long r3,unsigned long r4,unsigned long r5,unsigned long r6,unsigned long r7)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