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 \
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 \
palacios/vmm_direct_paging.o \
palacios/vmm_ringbuffer.o \
palacios/vmm_hypercall.o \
+ palacios/vmm_lock.o \
+ palacios/vmx.o \
+ palacios/vmcs.o \
+ palacios/vmx_handler.o \
+ palacios/vmx_lowlevel.o \
+ palacios/vmxassist.o \
+ palacios/vmx_io.o \
+ palacios/vmx_msr.o \
$(OBJ_FILES)
-# vmx.c vmcs_gen.c vmcs.c
# Extra C flags for the VMM objects
$(VMM_OBJS) :: EXTRA_CFLAGS = \
- $(JRLDEBUG) $(CFLAGS)\
+ $(JRLDEBUG) $(CFLAGS) -DVMXASSIST_PATH="\"../build/vmxassist\"" \
devices/ram_hd.o \
devices/i440fx.o \
devices/piix3.o \
+ 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 \
# devices/cdrom.o \
vgabios_link:
ln -s -f ../src/vmboot/vgabios/VGABIOS-lgpl-latest.bin vgabios
+vmxassist_link:
+ ln -s -f ../src/vmboot/vmxassist/vmxassist.bin vmxassist
+
-force_payload: rombios_link vgabios_link
+force_payload: rombios_link vgabios_link vmxassist_link
../scripts/make_payload.pl payload_layout.txt vm_kernel
inter1: force_payload
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