1// SPDX-License-Identifier: GPL-2.0-only
2/*
3 * Embedded Planet EP8248E with PlanetCore firmware
4 *
5 * Author: Scott Wood <scottwood@freescale.com>
6 *
7 * Copyright (c) 2007 Freescale Semiconductor, Inc.
8 */
9
10#include "ops.h"
11#include "stdio.h"
12#include "planetcore.h"
13#include "pq2.h"
14
15static char *table;
16static u64 mem_size;
17
18#include <io.h>
19
20static void platform_fixups(void)
21{
22	u64 val;
23
24	dt_fixup_memory(0, mem_size);
25	planetcore_set_mac_addrs(table);
26
27	if (!planetcore_get_decimal(table, PLANETCORE_KEY_CRYSTAL_HZ, &val)) {
28		printf("No PlanetCore crystal frequency key.\r\n");
29		return;
30	}
31
32	pq2_fixup_clocks(val);
33}
34
35void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
36                   unsigned long r6, unsigned long r7)
37{
38	table = (char *)r3;
39	planetcore_prepare_table(table);
40
41	if (!planetcore_get_decimal(table, PLANETCORE_KEY_MB_RAM, &mem_size))
42		return;
43
44	mem_size *= 1024 * 1024;
45	simple_alloc_init(_end, mem_size - (unsigned long)_end, 32, 64);
46
47	fdt_init(_dtb_start);
48
49	planetcore_set_stdout_path(table);
50	serial_console_init();
51	platform_ops.fixups = platform_fixups;
52}
53