1// SPDX-License-Identifier: GPL-2.0-only
2/*
3 * RedBoot firmware support
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 "redboot.h"
13#include "fsl-soc.h"
14#include "io.h"
15
16static bd_t bd;
17BSS_STACK(4096);
18
19#define MHZ(x)	((x + 500000) / 1000000)
20
21static void platform_fixups(void)
22{
23	void *node;
24
25	dt_fixup_memory(bd.bi_memstart, bd.bi_memsize);
26	dt_fixup_mac_addresses(bd.bi_enetaddr);
27	dt_fixup_cpu_clocks(bd.bi_intfreq, bd.bi_busfreq / 16, bd.bi_busfreq);
28
29	node = finddevice("/soc/cpm/brg");
30	if (node) {
31		printf("BRG clock-frequency <- 0x%x (%dMHz)\r\n",
32		       bd.bi_busfreq, MHZ(bd.bi_busfreq));
33		setprop(node, "clock-frequency",  &bd.bi_busfreq, 4);
34	}
35}
36
37void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
38                   unsigned long r6, unsigned long r7)
39{
40	memcpy(&bd, (char *)r3, sizeof(bd));
41
42	if (bd.bi_tag != 0x42444944)
43		return;
44
45	simple_alloc_init(_end,
46	                  bd.bi_memstart + bd.bi_memsize - (unsigned long)_end,
47	                  32, 64);
48
49	fdt_init(_dtb_start);
50	serial_console_init();
51	platform_ops.fixups = platform_fixups;
52
53	loader_info.cmdline = (char *)bd.bi_cmdline;
54	loader_info.cmdline_len = strlen((char *)bd.bi_cmdline);
55}
56