1 // SPDX-License-Identifier: GPL-2.0-only
3 * Embedded Planet EP88xC with PlanetCore firmware
5 * Author: Scott Wood <scottwood@freescale.com>
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
;