12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091 |
- /*
- * The simple platform -- for booting when firmware doesn't supply a device
- * tree or any platform configuration information.
- * All data is extracted from an embedded device tree
- * blob.
- *
- * Authors: Scott Wood <scottwood@freescale.com>
- * Grant Likely <grant.likely@secretlab.ca>
- *
- * Copyright (c) 2007 Freescale Semiconductor, Inc.
- * Copyright (c) 2008 Secret Lab Technologies Ltd.
- *
- * 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 "types.h"
- #include "io.h"
- #include "stdio.h"
- #include <libfdt.h>
- BSS_STACK(4*1024);
- extern int platform_specific_init(void) __attribute__((weak));
- void platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
- unsigned long r6, unsigned long r7)
- {
- const u32 *na, *ns, *reg, *timebase;
- u64 memsize64;
- int node, size, i;
- /* Make sure FDT blob is sane */
- if (fdt_check_header(_dtb_start) != 0)
- fatal("Invalid device tree blob\n");
- /* Find the #address-cells and #size-cells properties */
- node = fdt_path_offset(_dtb_start, "/");
- if (node < 0)
- fatal("Cannot find root node\n");
- na = fdt_getprop(_dtb_start, node, "#address-cells", &size);
- if (!na || (size != 4))
- fatal("Cannot find #address-cells property");
- ns = fdt_getprop(_dtb_start, node, "#size-cells", &size);
- if (!ns || (size != 4))
- fatal("Cannot find #size-cells property");
- /* Find the memory range */
- node = fdt_node_offset_by_prop_value(_dtb_start, -1, "device_type",
- "memory", sizeof("memory"));
- if (node < 0)
- fatal("Cannot find memory node\n");
- reg = fdt_getprop(_dtb_start, node, "reg", &size);
- if (size < (*na+*ns) * sizeof(u32))
- fatal("cannot get memory range\n");
- /* Only interested in memory based at 0 */
- for (i = 0; i < *na; i++)
- if (*reg++ != 0)
- fatal("Memory range is not based at address 0\n");
- /* get the memsize and truncate it to under 4G on 32 bit machines */
- memsize64 = 0;
- for (i = 0; i < *ns; i++)
- memsize64 = (memsize64 << 32) | *reg++;
- if (sizeof(void *) == 4 && memsize64 >= 0x100000000ULL)
- memsize64 = 0xffffffff;
- /* finally, setup the timebase */
- node = fdt_node_offset_by_prop_value(_dtb_start, -1, "device_type",
- "cpu", sizeof("cpu"));
- if (!node)
- fatal("Cannot find cpu node\n");
- timebase = fdt_getprop(_dtb_start, node, "timebase-frequency", &size);
- if (timebase && (size == 4))
- timebase_period_ns = 1000000000 / *timebase;
- /* Now we have the memory size; initialize the heap */
- simple_alloc_init(_end, memsize64 - (unsigned long)_end, 32, 64);
- /* prepare the device tree and find the console */
- fdt_init(_dtb_start);
- if (platform_specific_init)
- platform_specific_init();
- serial_console_init();
- }
|