1 // SPDX-License-Identifier: GPL-2.0-only
3 * Embedded Planet EP8248E with PlanetCore firmware
7 * Copyright (c) 2007 Freescale Semiconductor, Inc.
12 #include "planetcore.h"
20 static void platform_fixups(void)
24 dt_fixup_memory(0, mem_size);
25 planetcore_set_mac_addrs(table);
27 if (!planetcore_get_decimal(table, PLANETCORE_KEY_CRYSTAL_HZ, &val)) {
28 printf("No PlanetCore crystal frequency key.\r\n");
32 pq2_fixup_clocks(val);
35 void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
36 unsigned long r6, unsigned long r7)
39 planetcore_prepare_table(table);
41 if (!planetcore_get_decimal(table, PLANETCORE_KEY_MB_RAM, &mem_size))
44 mem_size *= 1024 * 1024;
45 simple_alloc_init(_end, mem_size - (unsigned long)_end, 32, 64);
49 planetcore_set_stdout_path(table);
50 serial_console_init();
51 platform_ops.fixups = platform_fixups;