| David Gibson | 6c5b59b | 2011-04-14 18:29:16 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Bootwrapper for ePAPR compliant firmwares |
| 3 | * |
| 4 | * Copyright 2010 David Gibson <david@gibson.dropbear.id.au>, IBM Corporation. |
| 5 | * |
| 6 | * Based on earlier bootwrappers by: |
| 7 | * (c) Benjamin Herrenschmidt <benh@kernel.crashing.org>, IBM Corp,\ |
| 8 | * and |
| 9 | * Scott Wood <scottwood@freescale.com> |
| 10 | * Copyright (c) 2007 Freescale Semiconductor, Inc. |
| 11 | * |
| 12 | * This program is free software; you can redistribute it and/or modify it |
| 13 | * under the terms of the GNU General Public License version 2 as published |
| 14 | * by the Free Software Foundation. |
| 15 | */ |
| 16 | |
| 17 | #include "ops.h" |
| 18 | #include "stdio.h" |
| 19 | #include "io.h" |
| 20 | #include <libfdt.h> |
| 21 | |
| 22 | BSS_STACK(4096); |
| 23 | |
| 24 | #define EPAPR_SMAGIC 0x65504150 |
| 25 | #define EPAPR_EMAGIC 0x45504150 |
| 26 | |
| 27 | static unsigned epapr_magic; |
| 28 | static unsigned long ima_size; |
| 29 | static unsigned long fdt_addr; |
| 30 | |
| 31 | static void platform_fixups(void) |
| 32 | { |
| 33 | if ((epapr_magic != EPAPR_EMAGIC) |
| 34 | && (epapr_magic != EPAPR_SMAGIC)) |
| 35 | fatal("r6 contained 0x%08x instead of ePAPR magic number\n", |
| 36 | epapr_magic); |
| 37 | |
| 38 | if (ima_size < (unsigned long)_end) |
| 39 | printf("WARNING: Image loaded outside IMA!" |
| 40 | " (_end=%p, ima_size=0x%lx)\n", _end, ima_size); |
| 41 | if (ima_size < fdt_addr) |
| 42 | printf("WARNING: Device tree address is outside IMA!" |
| 43 | "(fdt_addr=0x%lx, ima_size=0x%lx)\n", fdt_addr, |
| 44 | ima_size); |
| 45 | if (ima_size < fdt_addr + fdt_totalsize((void *)fdt_addr)) |
| 46 | printf("WARNING: Device tree extends outside IMA!" |
| 47 | " (fdt_addr=0x%lx, size=0x%x, ima_size=0x%lx\n", |
| 48 | fdt_addr, fdt_totalsize((void *)fdt_addr), ima_size); |
| 49 | } |
| 50 | |
| Benjamin Herrenschmidt | 0c9fa29 | 2013-09-24 16:10:38 +1000 | [diff] [blame] | 51 | void epapr_platform_init(unsigned long r3, unsigned long r4, unsigned long r5, |
| 52 | unsigned long r6, unsigned long r7) |
| David Gibson | 6c5b59b | 2011-04-14 18:29:16 +0000 | [diff] [blame] | 53 | { |
| 54 | epapr_magic = r6; |
| 55 | ima_size = r7; |
| 56 | fdt_addr = r3; |
| 57 | |
| 58 | /* FIXME: we should process reserve entries */ |
| 59 | |
| 60 | simple_alloc_init(_end, ima_size - (unsigned long)_end, 32, 64); |
| 61 | |
| 62 | fdt_init((void *)fdt_addr); |
| 63 | |
| 64 | serial_console_init(); |
| 65 | platform_ops.fixups = platform_fixups; |
| 66 | } |