V3VEE compiles. Segfaults, but the callback structures work.

[palacios-OLD.git] / kitten / Makefile

diff --git a/kitten/Makefile b/kitten/Makefile
index 2a43e80..3407681 100644 (file)
--- a/kitten/Makefile
+++ b/kitten/Makefile
@@ -535,6 +535,7 @@ export MODLIB
 ifeq ($(KBUILD_EXTMOD),)
 #core-y                += kernel/ mm/ fs/ ipc/ security/ crypto/ block/
 core-y         += kernel/ mm/
+core-$(CONFIG_V3VEE) += palacios-glue/
 
 vmlwk-dirs     := $(patsubst %/,%,$(filter %/, $(init-y) $(init-m) \
                     $(core-y) $(core-m) $(drivers-y) $(drivers-m) \