2 * Bootwrapper for ePAPR compliant firmwares
4 * Copyright 2010 David Gibson <david@gibson.dropbear.id.au>, IBM Corporation.
6 * Based on earlier bootwrappers by:
7 * (c) Benjamin Herrenschmidt <benh@kernel.crashing.org>, IBM Corp,\
9 * Scott Wood <scottwood@freescale.com>
10 * Copyright (c) 2007 Freescale Semiconductor, Inc.
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.
24 #define EPAPR_SMAGIC 0x65504150
25 #define EPAPR_EMAGIC 0x45504150
27 static unsigned epapr_magic
;
28 static unsigned long ima_size
;
29 static unsigned long fdt_addr
;
31 static void platform_fixups(void)
33 if ((epapr_magic
!= EPAPR_EMAGIC
)
34 && (epapr_magic
!= EPAPR_SMAGIC
))
35 fatal("r6 contained 0x%08x instead of ePAPR magic number\n",
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
,
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
);
51 void platform_init(unsigned long r3
, unsigned long r4
, unsigned long r5
,
52 unsigned long r6
, unsigned long r7
)
58 /* FIXME: we should process reserve entries */
60 simple_alloc_init(_end
, ima_size
- (unsigned long)_end
, 32, 64);
62 fdt_init((void *)fdt_addr
);
64 serial_console_init();
65 platform_ops
.fixups
= platform_fixups
;