X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2FMakefile;h=181df3cc441297c6c9d620114011e07bf149a758;hb=603e4c1a451138080ded3d4e3cd3b8716741db89;hp=f20fb08bfe9cf4f3a14260028e52b03bf7780ef4;hpb=467878dcf7ccb6248c83483e01360b0ffdc83dc0;p=palacios-OLD.git diff --git a/linux_module/Makefile b/linux_module/Makefile index f20fb08..181df3c 100644 --- a/linux_module/Makefile +++ b/linux_module/Makefile @@ -8,14 +8,15 @@ v3vee-objs:= palacios.o \ palacios-dev.o \ palacios-vm.o \ palacios-file.o \ - palacios-stream.o \ palacios-console.o \ palacios-mm.o \ palacios-serial.o \ + palacios-stream.o \ palacios-queue.o \ palacios-ringbuffer.o \ palacios-debugfs.o + ifdef CONFIG_PALACIOS_VNET v3vee-objs += palacios-vnet.o endif