# Use LWKINCLUDE when you must reference the include/ directory.
# Needed to be compatible with the O= option
LWKINCLUDE := -Iinclude \
- -I../palacios/include \
$(if $(KBUILD_SRC),-Iinclude2 -I$(srctree)/include) \
-include include/lwk/autoconf.h
CFLAGS += -g
endif
+ifdef CONFIG_V3VEE
+CFLAGS += -I../palacios/include
+endif
+
+
include $(srctree)/arch/$(ARCH)/Makefile
# arch Makefile may override CC so keep this after arch Makefile is included
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) \