X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2FMakefile;h=181df3cc441297c6c9d620114011e07bf149a758;hb=603e4c1a451138080ded3d4e3cd3b8716741db89;hp=4732a3a1db612b011c7df8c3093c1a3f5ba8b8d3;hpb=6198c62287d7a33cfade156f4405c82f0f2bae0a;p=palacios-OLD.git diff --git a/linux_module/Makefile b/linux_module/Makefile index 4732a3a..181df3c 100644 --- a/linux_module/Makefile +++ b/linux_module/Makefile @@ -8,16 +8,24 @@ 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-socket.o \ -# palacios-vnet.o \ -# palacios-packet.o \ -# palacios-hashtable.o + palacios-ringbuffer.o \ + palacios-debugfs.o + + +ifdef CONFIG_PALACIOS_VNET + v3vee-objs += palacios-vnet.o +endif +ifdef CONFIG_PALACIOS_PACKET + v3vee-objs += palacios-packet.o +endif +ifdef CONFIG_PALACIOS_SOCKET + v3vee-objs += palacios-socket.o +endif v3vee-objs += ../libv3vee.a