X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2FMakefile;h=181df3cc441297c6c9d620114011e07bf149a758;hb=72182c5e1c7d08d4b274bf300d49b523d1983b3e;hp=4163b1a9bbd97340f651e1a58bfb5713e8f7a9ca;hpb=26ffaf22ebf784cbcd12f1899317d02ced7b352f;p=palacios.git

diff --git a/linux_module/Makefile b/linux_module/Makefile
index 4163b1a..181df3c 100644
--- a/linux_module/Makefile
+++ b/linux_module/Makefile
@@ -8,12 +8,14 @@ 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