1menu "ARMV8 DRV Features Configuration" 2depends on (OS_ARCH_ARMV8) 3source "arch/drv/gic/Kconfig" 4endmenu 5