1 // SPDX-License-Identifier: GPL-2.0-only
3 * RedBoot firmware support
5 * Author: Scott Wood <scottwood@freescale.com>
7 * Copyright (c) 2007 Freescale Semiconductor, Inc.
8 * Copyright (c) 2008 Codehermit
20 #define MHZ(x) ((x + 500000) / 1000000)
22 static void platform_fixups(void)
26 dt_fixup_memory(bd
.bi_memstart
, bd
.bi_memsize
);
27 dt_fixup_mac_addresses(bd
.bi_enetaddr
);
28 dt_fixup_cpu_clocks(bd
.bi_intfreq
, bd
.bi_busfreq
/ 16, bd
.bi_busfreq
);
30 node
= finddevice("/soc/cpm/brg");
32 printf("BRG clock-frequency <- 0x%x (%dMHz)\r\n",
33 bd
.bi_busfreq
, MHZ(bd
.bi_busfreq
));
34 setprop(node
, "clock-frequency", &bd
.bi_busfreq
, 4);
39 void platform_init(unsigned long r3
, unsigned long r4
, unsigned long r5
,
40 unsigned long r6
, unsigned long r7
)
42 memcpy(&bd
, (char *)r3
, sizeof(bd
));
44 if (bd
.bi_tag
!= 0x42444944)
47 simple_alloc_init(_end
,
48 bd
.bi_memstart
+ bd
.bi_memsize
- (unsigned long)_end
,
52 serial_console_init();
53 platform_ops
.fixups
= platform_fixups
;
55 loader_info
.cmdline
= (char *)bd
.bi_cmdline
;
56 loader_info
.cmdline_len
= strlen((char *)bd
.bi_cmdline
);