1234567891011121314151617181920212223242526272829303132333435 |
- // SPDX-License-Identifier: GPL-2.0-only
- /*
- * Copyright (c) 2008 PIKA Technologies
- * Sean MacLennan <[email protected]>
- */
- #include "ops.h"
- #include "4xx.h"
- #include "cuboot.h"
- #include "stdio.h"
- #define TARGET_4xx
- #define TARGET_44x
- #include "ppcboot.h"
- static bd_t bd;
- static void warp_fixups(void)
- {
- ibm440ep_fixup_clocks(66000000, 11059200, 50000000);
- ibm4xx_sdram_fixup_memsize();
- ibm4xx_fixup_ebc_ranges("/plb/opb/ebc");
- dt_fixup_mac_address_by_alias("ethernet0", bd.bi_enetaddr);
- }
- void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
- unsigned long r6, unsigned long r7)
- {
- CUBOOT_INIT();
- platform_ops.fixups = warp_fixups;
- platform_ops.exit = ibm44x_dbcr_reset;
- fdt_init(_dtb_start);
- serial_console_init();
- }
|