Update to the device framework.

[palacios.git] / palacios / build / Makefile

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index ba09371..9b50e6c 100644 (file)
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -284,7 +284,6 @@ VMM_OBJS := \
        palacios/vmm_time.o \
        palacios/vmm_shadow_paging.o \
        palacios/vm_guest_mem.o \
-       palacios/vm_dev.o \
        palacios/vmm_dev_mgr.o \
        palacios/vmm_decoder.o \
        palacios/svm_halt.o \
@@ -294,6 +293,7 @@ VMM_OBJS := \
        palacios/vmm_hashtable.o \
        palacios/vmm_string.o \
        palacios/vmm_emulator.o \
+       palacios/vmm_sprintf.o \
        palacios/vmm_queue.o \
        palacios/vmm_host_events.o \
        palacios/svm_lowlevel.o \
@@ -306,9 +306,11 @@ VMM_OBJS := \
        palacios/vmm_direct_paging.o \
        palacios/vmm_ringbuffer.o \
        palacios/vmm_hypercall.o \
+       palacios/vmm_lock.o \
+       palacios/vmx.o \
+       palacios/vmcs.o \
        $(OBJ_FILES)
 
-#              vmx.c vmcs_gen.c vmcs.c
 
 # Extra C flags for the VMM objects
 $(VMM_OBJS) :: EXTRA_CFLAGS = \
@@ -343,6 +345,10 @@ DEVICES_OBJS := \
        devices/ram_hd.o \
        devices/i440fx.o \
        devices/piix3.o \
+       devices/net_cd.o \
+       devices/net_hd.o \
+       devices/lnx_virtio_blk.o \
+       devices/sym_swap.o \
 
 #      devices/ne2k.o  \
 #      devices/cdrom.o \
@@ -582,6 +588,7 @@ clean :
        for d in palacios devices xed; do \
                (cd $$d && rm -f * .*.d); \
        done
+       rm -f libv3vee.a
 
 
 # Include all of the generated dependency files if they exist