X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=abf800827b32767280ea99633892c7137b74885c;hb=87bd3921fe6a17138bdba3a41b501a8d620cb48a;hp=1b2cf5ddf901dc7c2cf5e892f38b787fd2565c0e;hpb=427424e8db42ca592805f79d3ca673d50ab51ad9;p=palacios.git diff --git a/palacios/build/Makefile b/palacios/build/Makefile index 1b2cf5d..abf8008 100644 --- a/palacios/build/Makefile +++ b/palacios/build/Makefile @@ -296,6 +296,8 @@ DEVICES_OBJS := \ devices/ramdisk.o \ devices/cdrom.o \ devices/bochs_debug.o \ + devices/os_debug.o \ + devices/apic.o \ $(DEVICES_OBJS) :: EXTRA_CFLAGS = \ $(JRLDEBUG) \