1 // SPDX-License-Identifier: GPL-2.0-only
3 * Embedded Planet EP88xC with PlanetCore firmware
7 * Copyright (c) 2007 Freescale Semiconductor, Inc.
12 #include "planetcore.h"
18 static void platform_fixups(void)
22 dt_fixup_memory(0, mem_size);
23 planetcore_set_mac_addrs(table);
25 if (!planetcore_get_decimal(table, PLANETCORE_KEY_CRYSTAL_HZ, &val)) {
26 printf("No PlanetCore crystal frequency key.\r\n");
30 mpc885_fixup_clocks(val);
33 void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
34 unsigned long r6, unsigned long r7)
37 planetcore_prepare_table(table);
39 if (!planetcore_get_decimal(table, PLANETCORE_KEY_MB_RAM, &mem_size))
42 mem_size *= 1024 * 1024;
43 simple_alloc_init(_end, mem_size - (unsigned long)_end, 32, 64);
47 planetcore_set_stdout_path(table);
49 serial_console_init();
50 platform_ops.fixups = platform_fixups;