palacios-dev.o \
palacios-vm.o \
palacios-mm.o \
- palacios-queue.o
+ palacios-queue.o \
+ palacios-hashtable.o
ifdef V3_CONFIG_CONSOLE
v3vee-objs += palacios-console.o
endif
ifdef V3_CONFIG_EXT_INSPECTOR
- v3vee-objs += palacios-debugfs.o
+ v3vee-objs += palacios-inspector.o
endif
ifdef V3_CONFIG_VNET
- v3vee-objs += palacios-vnet.o
+ v3vee-objs += palacios-vnet.o palacios-vnet-bridge.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