platform: generic-arm64: Include the Hafnium vmapi headers Bug: 122357282 Change-Id: I7d6b6752d7ceb82f065c8c6c48cc5b956146b6ba
diff --git a/platform/generic-arm64/rules.mk b/platform/generic-arm64/rules.mk index a58b0f6..0d115b0 100644 --- a/platform/generic-arm64/rules.mk +++ b/platform/generic-arm64/rules.mk
@@ -48,6 +48,10 @@ ifeq (true,$(call TOBOOL,$(HAFNIUM))) MODULE_DEFINES += HAFNIUM=1 MODULE_DEPS += dev/interrupt/hafnium +MODULE_INCLUDES += \ + external/hafnium/inc/vmapi \ + external/hafnium/src/arch/$(HAFNIUM_ARCH)/inc \ + else MODULE_DEFINES += GIC_VERSION=$(GIC_VERSION) MODULE_DEPS += dev/interrupt/arm_gic