X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=8e9d972d273758529c407b7fd9ed7931891494c7;hb=bbef87558ec784cd99c72b759aa78a8c47aa5fd3;hp=0f98a566c9175a375ac68d8f9f4e978998a7a561;hpb=7bb4a918835892e9071ffbdef1ea8e57f9a12950;p=palacios.git diff --git a/palacios/build/Makefile b/palacios/build/Makefile index 0f98a56..8e9d972 100644 --- a/palacios/build/Makefile +++ b/palacios/build/Makefile @@ -310,6 +310,7 @@ DEVICES_OBJS := \ devices/bochs_debug.o \ devices/os_debug.o \ devices/apic.o \ + devices/io_apic.o \ $(DEVICES_OBJS) :: EXTRA_CFLAGS = \ $(JRLDEBUG) \