added virtio balloon device, currently discards free pages...

[palacios.git] / palacios / build / Makefile

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 44b6568..d373579 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 \
@@ -309,6 +309,7 @@ VMM_OBJS := \
        palacios/vmm_lock.o \
        palacios/vmx.o \
        palacios/vmcs.o \
+       palacios/vmx_lowlevel.o \
        $(OBJ_FILES)
 
 
@@ -348,6 +349,7 @@ DEVICES_OBJS := \
        devices/net_cd.o \
        devices/net_hd.o \
        devices/lnx_virtio_blk.o \
+       devices/lnx_virtio_balloon.o \
        devices/sym_swap.o \
 
 #      devices/ne2k.o  \
@@ -588,6 +590,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