feat(qemu): add support to build qemu w/ different interrupt controllers#14

Merged

miguelafsilva5 merged 12 commits intomainfrom feat/add_platforms

Jun 4, 2024

+36-11

Commits on May 25, 2024

feat(atf.nix): add support to build either GICv2 or GICv3 QEMU driver
Diogo21Costa
committed
feat(qemu-aarch64.nix): add support to build GICv2 or GICv3 platform
Diogo21Costa
committed

Commits on May 27, 2024

Commits on May 31, 2024

feat(baremetal): add support for building with different GIC versions
Diogo21Costa
committed

Commits on Jun 4, 2024

feat(setup-cfg): Add make flags for IRQ controller to the cfg
miguelafsilva5
committed
fix(bao): update bao recipe to use irq flags

Diogo21Costa
authored and
miguelafsilva5
committed
fix(qemu-aarch64): update qemu recipe to use irq flags

Diogo21Costa
authored and
miguelafsilva5
committed
fix(baremetal): update baremetal recipe to use irq flags

Diogo21Costa
authored and
miguelafsilva5
committed
fix(aarch64_firmware): add setup-cfg as derivation input

Diogo21Costa
authored and
miguelafsilva5
committed
fix(riscv64_firmware): add setup-cfg as derivation input
Diogo21Costa
committed