X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2FMakefile;h=34076818448a70aa965d1b04736c5f3eb4d26ca2;hb=e05033e42323e92783e8c93d77c0e4be63761667;hp=2a43e80309cdd42f99b92ea23f0367f4c3a29891;hpb=ed150072069816c4f34cd7b9e129752a6e9e71b3;p=palacios.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) \