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
16static bd_t bd;
17
18static 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
26void 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