From: Michalis Pappas Date: Mon, 11 Sep 2023 18:06:57 +0000 (+0200) Subject: drivers/ukintctlr: Add driver placeholder for Intel xPIC X-Git-Tag: RELEASE-0.15.0~62 X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=70283713293e68548eb1d3fdc45e5a88eecec2f9;p=unikraft%2Funikraft.git drivers/ukintctlr: Add driver placeholder for Intel xPIC Introduce a new driver placeholder for Intel interrupt controllers. Since the different generations have often interrelated functionality, similarly to Arm GIC, a single driver is introduced for the entire *PIC family (PIC, APIC, x2APIC etc). More fine-grained functionality can be controlled at the config level. Notice: Picking individual commits in this PR will break the build. Signed-off-by: Michalis Pappas Reviewed-by: Marco Schlumpp Reviewed-by: Sergiu Moga Approved-by: Razvan Deaconescu GitHub-Closes: #1103 --- diff --git a/drivers/ukintctlr/Makefile.uk b/drivers/ukintctlr/Makefile.uk index 4ed1ad567..421305669 100644 --- a/drivers/ukintctlr/Makefile.uk +++ b/drivers/ukintctlr/Makefile.uk @@ -6,4 +6,5 @@ UK_DRIV_INTCTLR_BASE := $(UK_DRIV_BASE)/ukintctlr +$(eval $(call _import_lib,$(UK_DRIV_INTCTLR_BASE)/xpic)) $(eval $(call _import_lib,$(UK_DRIV_INTCTLR_BASE)/gic)) diff --git a/drivers/ukintctlr/xpic/Config.uk b/drivers/ukintctlr/xpic/Config.uk new file mode 100644 index 000000000..8b1378917 --- /dev/null +++ b/drivers/ukintctlr/xpic/Config.uk @@ -0,0 +1 @@ + diff --git a/drivers/ukintctlr/xpic/Makefile.uk b/drivers/ukintctlr/xpic/Makefile.uk new file mode 100644 index 000000000..829963f03 --- /dev/null +++ b/drivers/ukintctlr/xpic/Makefile.uk @@ -0,0 +1,5 @@ +$(eval $(call addlib_s,libukintctlr_xpic,$(CONFIG_LIBUKINTCTLR_XPIC))) + +ASINCLUDES-$(CONFIG_LIBUKINTCTLR_XPIC) += -I$(LIBUKINTCTLR_XPIC_BASE)/include +CINCLUDES-$(CONFIG_LIBUKINTCTLR_XPIC) += -I$(LIBUKINTCTLR_XPIC_BASE)/include +CXXINCLUDES-$(CONFIG_LIBUKINTCTLR_XPIC) += -I$(LIBUKINTCTLR_XPIC_BASE)/include