Jan Kotas 95ed1429e6 boot/boot-wrapper-aarch64: add gicv3 support vor 4 Jahren
..
Config.in 95ed1429e6 boot/boot-wrapper-aarch64: add gicv3 support vor 4 Jahren
boot-wrapper-aarch64.mk 95ed1429e6 boot/boot-wrapper-aarch64: add gicv3 support vor 4 Jahren