50a51
> #include "dev/arm/gic_v3.hh"
65a67
> _gic(nullptr),
138a141
> bool isGICv3System = dynamic_cast<Gicv3 *>(getGIC()) != nullptr;
146,147c149,150
< if (!p->gic_cpu_addr || !p->flags_addr)
< fatal("gic_cpu_addr && flags_addr must be set with bootloader\n");
---
> if (!p->flags_addr)
> fatal("flags_addr must be set with bootloader\n");
148a152,154
> if (!p->gic_cpu_addr && !isGICv3System)
> fatal("gic_cpu_addr must be set with bootloader\n");
>
153,154c159,160
<
< threadContexts[i]->setIntReg(4, params()->gic_cpu_addr);
---
> if (!isGICv3System)
> threadContexts[i]->setIntReg(4, params()->gic_cpu_addr);