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 <michalis@unikraft.io>
Reviewed-by: Marco Schlumpp <marco@unikraft.io>
Reviewed-by: Sergiu Moga <sergiu@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
GitHub-Closes: #1103

diff --git a/drivers/ukintctlr/Makefile.uk b/drivers/ukintctlr/Makefile.uk
index 4ed1ad567ae79bb29a0a1050d0431eff84ead663..42130566952de480480da03cd22d53c0ba0ebd9b 100644 (file)
--- 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 (file)
index 0000000..8b13789
--- /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 (file)
index 0000000..829963f
--- /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