X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2FMakefile;h=181df3cc441297c6c9d620114011e07bf149a758;hb=603e4c1a451138080ded3d4e3cd3b8716741db89;hp=7b744cc621c0cd8ab0cb14b4572308878f02931f;hpb=a0b473abee90ee85c0c9d24f69e8768b34171704;p=palacios-OLD.git

diff --git a/linux_module/Makefile b/linux_module/Makefile
index 7b744cc..181df3c 100644
--- a/linux_module/Makefile
+++ b/linux_module/Makefile
@@ -8,18 +8,20 @@ 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-ringbuffer.o \
+		palacios-debugfs.o
+
 
 ifdef CONFIG_PALACIOS_VNET
 		v3vee-objs += palacios-vnet.o		
 endif
 ifdef CONFIG_PALACIOS_PACKET
-		v3vee-objs += palacios-packet.o palacios-hashtable.o
+		v3vee-objs += palacios-packet.o
 endif
 ifdef CONFIG_PALACIOS_SOCKET
 		v3vee-objs += palacios-socket.o