X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2FMakefile;h=34076818448a70aa965d1b04736c5f3eb4d26ca2;hb=a71d13e84ccd2ea959299c7f01513e6f9e593b7d;hp=2a43e80309cdd42f99b92ea23f0367f4c3a29891;hpb=ad9eac2585dced281946bb716e3c2d96584a25fa;p=palacios.releases.git

diff --git a/kitten/Makefile b/kitten/Makefile
index 2a43e80..3407681 100644
--- 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) \