xref: /openbmc/linux/arch/powerpc/boot/epapr.c (revision e3d786a3)
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 
51 void epapr_platform_init(unsigned long r3, unsigned long r4, unsigned long r5,
52 			 unsigned long r6, unsigned long r7)
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 }
67