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 16 static bd_t bd; 17 BSS_STACK(4096); 18 19 #define MHZ(x) ((x + 500000) / 1000000) 20 21 static 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 37 void 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