ARMv8: disabling gicv3 cpu interface enable until it's implemented
@@ -142,7 +142,9 @@ errval_t platform_gic_init(void) {
}
errval_t platform_gic_cpu_interface_enable(void) {
- return gicv3_cpu_interface_enable();
+ printf("WARNING: gicv3_cpu_interface_enable not implemented\n");
+ return SYS_ERR_OK;
+ //return gicv3_cpu_interface_enable();
}
/**
* \file plat_a57mpcore.c
