if(${CONFIG_OS_ARCH_ARMV8})
    add_subdirectory(gic)
endif()
