X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=aabd89418da829865ae4cf78026c740d0a4cdc8c;hb=3574c981404a1c812d369132db09ec2a27d59a5d;hp=1b2cf5ddf901dc7c2cf5e892f38b787fd2565c0e;hpb=3ff677ae3dbe5ec9a433ca772437de90da7d25c9;p=palacios.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 1b2cf5d..aabd894 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -296,6 +296,7 @@ DEVICES_OBJS := \
 	devices/ramdisk.o \
 	devices/cdrom.o \
 	devices/bochs_debug.o \
+	devices/os_debug.o \
 
 $(DEVICES_OBJS) :: EXTRA_CFLAGS = \
 	$(JRLDEBUG) \