palacios-dev.o \
palacios-vm.o \
palacios-mm.o \
- palacios-queue.o
-
+ palacios-queue.o \
+ palacios-hashtable.o \
+ linux-exts.o
+
ifdef V3_CONFIG_CONSOLE
v3vee-objs += palacios-console.o
endif
endif
ifdef V3_CONFIG_VNET
- v3vee-objs += palacios-vnet.o
+ v3vee-objs += palacios-vnet.o \
+ palacios-vnet-ctrl.o \
+ palacios-vnet-brg.o
endif
ifdef V3_CONFIG_PACKET
v3vee-objs += palacios-socket.o
endif
+ifdef V3_CONFIG_KEYED_STREAMS
+ v3vee-objs += palacios-keyed-stream.o
+endif
+
+ifdef V3_CONFIG_HOST_DEVICE
+ v3vee-objs += palacios-host-dev.o
+endif
+
+ifdef V3_CONFIG_GRAPHICS_CONSOLE
+ v3vee-objs += palacios-graphics-console.o
+endif
+
+
+
v3vee-objs += ../libv3vee.a