2 * Raspberry Pi emulation (c) 2012 Gregory Estrade
3 * Upstreaming code cleanup [including bcm2835_*] (c) 2013 Jan Petrous
5 * Rasperry Pi 2 emulation Copyright (c) 2015, Microsoft
6 * Written by Andrew Baumann
8 * This code is licensed under the GNU GPLv2 and later.
11 #include "qemu/osdep.h"
12 #include "qapi/error.h"
13 #include "qemu-common.h"
15 #include "hw/arm/bcm2836.h"
16 #include "qemu/error-report.h"
17 #include "hw/boards.h"
18 #include "hw/loader.h"
19 #include "hw/arm/arm.h"
20 #include "sysemu/sysemu.h"
22 #define SMPBOOT_ADDR 0x300 /* this should leave enough space for ATAGS */
23 #define MVBAR_ADDR 0x400 /* secure vectors */
24 #define BOARDSETUP_ADDR (MVBAR_ADDR + 0x20) /* board setup code */
25 #define FIRMWARE_ADDR 0x8000 /* Pi loads kernel.img here by default */
27 /* Table of Linux board IDs for different Pi versions */
28 static const int raspi_boardid
[] = {[1] = 0xc42, [2] = 0xc43};
30 typedef struct RasPiState
{
35 static void write_smpboot(ARMCPU
*cpu
, const struct arm_boot_info
*info
)
37 static const uint32_t smpboot
[] = {
38 0xe1a0e00f, /* mov lr, pc */
39 0xe3a0fe00 + (BOARDSETUP_ADDR
>> 4), /* mov pc, BOARDSETUP_ADDR */
40 0xee100fb0, /* mrc p15, 0, r0, c0, c0, 5;get core ID */
41 0xe7e10050, /* ubfx r0, r0, #0, #2 ;extract LSB */
42 0xe59f5014, /* ldr r5, =0x400000CC ;load mbox base */
43 0xe320f001, /* 1: yield */
44 0xe7953200, /* ldr r3, [r5, r0, lsl #4] ;read mbox for our core*/
45 0xe3530000, /* cmp r3, #0 ;spin while zero */
46 0x0afffffb, /* beq 1b */
47 0xe7853200, /* str r3, [r5, r0, lsl #4] ;clear mbox */
48 0xe12fff13, /* bx r3 ;jump to target */
49 0x400000cc, /* (constant: mailbox 3 read/clear base) */
52 /* check that we don't overrun board setup vectors */
53 QEMU_BUILD_BUG_ON(SMPBOOT_ADDR
+ sizeof(smpboot
) > MVBAR_ADDR
);
54 /* check that board setup address is correctly relocated */
55 QEMU_BUILD_BUG_ON((BOARDSETUP_ADDR
& 0xf) != 0
56 || (BOARDSETUP_ADDR
>> 4) >= 0x100);
58 rom_add_blob_fixed("raspi_smpboot", smpboot
, sizeof(smpboot
),
59 info
->smp_loader_start
);
62 static void write_board_setup(ARMCPU
*cpu
, const struct arm_boot_info
*info
)
64 arm_write_secure_board_setup_dummy_smc(cpu
, info
, MVBAR_ADDR
);
67 static void reset_secondary(ARMCPU
*cpu
, const struct arm_boot_info
*info
)
69 CPUState
*cs
= CPU(cpu
);
70 cpu_set_pc(cs
, info
->smp_loader_start
);
73 static void setup_boot(MachineState
*machine
, int version
, size_t ram_size
)
75 static struct arm_boot_info binfo
;
78 binfo
.board_id
= raspi_boardid
[version
];
79 binfo
.ram_size
= ram_size
;
80 binfo
.nb_cpus
= smp_cpus
;
81 binfo
.board_setup_addr
= BOARDSETUP_ADDR
;
82 binfo
.write_board_setup
= write_board_setup
;
83 binfo
.secure_board_setup
= true;
84 binfo
.secure_boot
= true;
86 /* Pi2 requires SMP setup */
88 binfo
.smp_loader_start
= SMPBOOT_ADDR
;
89 binfo
.write_secondary_boot
= write_smpboot
;
90 binfo
.secondary_cpu_reset_hook
= reset_secondary
;
93 /* If the user specified a "firmware" image (e.g. UEFI), we bypass
94 * the normal Linux boot process
96 if (machine
->firmware
) {
97 /* load the firmware image (typically kernel.img) */
98 r
= load_image_targphys(machine
->firmware
, FIRMWARE_ADDR
,
99 ram_size
- FIRMWARE_ADDR
);
101 error_report("Failed to load firmware from %s", machine
->firmware
);
105 binfo
.entry
= FIRMWARE_ADDR
;
106 binfo
.firmware_loaded
= true;
108 binfo
.kernel_filename
= machine
->kernel_filename
;
109 binfo
.kernel_cmdline
= machine
->kernel_cmdline
;
110 binfo
.initrd_filename
= machine
->initrd_filename
;
113 arm_load_kernel(ARM_CPU(first_cpu
), &binfo
);
116 static void raspi2_init(MachineState
*machine
)
118 RasPiState
*s
= g_new0(RasPiState
, 1);
123 DeviceState
*carddev
;
125 object_initialize(&s
->soc
, sizeof(s
->soc
), TYPE_BCM2836
);
126 object_property_add_child(OBJECT(machine
), "soc", OBJECT(&s
->soc
),
129 /* Allocate and map RAM */
130 memory_region_allocate_system_memory(&s
->ram
, OBJECT(machine
), "ram",
132 /* FIXME: Remove when we have custom CPU address space support */
133 memory_region_add_subregion_overlap(get_system_memory(), 0, &s
->ram
, 0);
136 object_property_add_const_link(OBJECT(&s
->soc
), "ram", OBJECT(&s
->ram
),
138 object_property_set_int(OBJECT(&s
->soc
), smp_cpus
, "enabled-cpus",
140 object_property_set_int(OBJECT(&s
->soc
), 0xa21041, "board-rev",
142 object_property_set_bool(OBJECT(&s
->soc
), true, "realized", &error_abort
);
144 /* Create and plug in the SD cards */
145 di
= drive_get_next(IF_SD
);
146 blk
= di
? blk_by_legacy_dinfo(di
) : NULL
;
147 bus
= qdev_get_child_bus(DEVICE(&s
->soc
), "sd-bus");
149 error_report("No SD bus found in SOC object");
152 carddev
= qdev_create(bus
, TYPE_SD_CARD
);
153 qdev_prop_set_drive(carddev
, "drive", blk
, &error_fatal
);
154 object_property_set_bool(OBJECT(carddev
), true, "realized", &error_fatal
);
156 vcram_size
= object_property_get_int(OBJECT(&s
->soc
), "vcram-size",
158 setup_boot(machine
, 2, machine
->ram_size
- vcram_size
);
161 static void raspi2_machine_init(MachineClass
*mc
)
163 mc
->desc
= "Raspberry Pi 2";
164 mc
->init
= raspi2_init
;
165 mc
->block_default_type
= IF_SD
;
169 mc
->max_cpus
= BCM2836_NCPUS
;
170 mc
->default_ram_size
= 1024 * 1024 * 1024;
172 DEFINE_MACHINE("raspi2", raspi2_machine_init
)