12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758 |
- /*
- * RedBoot firmware support
- *
- * Author: Scott Wood <scottwood@freescale.com>
- *
- * Copyright (c) 2007 Freescale Semiconductor, Inc.
- *
- * This program is free software; you can redistribute it and/or modify it
- * under the terms of the GNU General Public License version 2 as published
- * by the Free Software Foundation.
- */
- #include "ops.h"
- #include "stdio.h"
- #include "redboot.h"
- #include "fsl-soc.h"
- #include "io.h"
- static bd_t bd;
- BSS_STACK(4096);
- #define MHZ(x) ((x + 500000) / 1000000)
- static void platform_fixups(void)
- {
- void *node;
- dt_fixup_memory(bd.bi_memstart, bd.bi_memsize);
- dt_fixup_mac_addresses(bd.bi_enetaddr);
- dt_fixup_cpu_clocks(bd.bi_intfreq, bd.bi_busfreq / 16, bd.bi_busfreq);
- node = finddevice("/soc/cpm/brg");
- if (node) {
- printf("BRG clock-frequency <- 0x%x (%dMHz)\r\n",
- bd.bi_busfreq, MHZ(bd.bi_busfreq));
- setprop(node, "clock-frequency", &bd.bi_busfreq, 4);
- }
- }
- void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
- unsigned long r6, unsigned long r7)
- {
- memcpy(&bd, (char *)r3, sizeof(bd));
- if (bd.bi_tag != 0x42444944)
- return;
- simple_alloc_init(_end,
- bd.bi_memstart + bd.bi_memsize - (unsigned long)_end,
- 32, 64);
- fdt_init(_dtb_start);
- serial_console_init();
- platform_ops.fixups = platform_fixups;
- loader_info.cmdline = (char *)bd.bi_cmdline;
- loader_info.cmdline_len = strlen((char *)bd.bi_cmdline);
- }
|