X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FMakefile;h=cdce9ea3d92165b2099c1b320585b0c87a428791;hb=786d89d4e5c6bb25c3dd07ec3bb375c5964f2af2;hp=88356e1da389a6849732af0576ba34e65db11281;hpb=57ba224d7236e1f9d3c7ca683f9057bd5fda70a0;p=palacios.git

diff --git a/palacios/src/devices/Makefile b/palacios/src/devices/Makefile
index 88356e1..cdce9ea 100644
--- a/palacios/src/devices/Makefile
+++ b/palacios/src/devices/Makefile
@@ -22,6 +22,7 @@ obj-$(CONFIG_PIIX3) += piix3.o
 obj-$(CONFIG_SWAPBYPASS_DISK_CACHE) += swapbypass_cache.o
 obj-$(CONFIG_SWAPBYPASS_DISK_CACHE2) += swapbypass_cache2.o
 obj-$(CONFIG_DISK_MODEL) += disk_model.o
+obj-$(CONFIG_NIC_BRIDGE) += nic_bridge.o
 
 obj-$(CONFIG_NE2K) += ne2k.o
 
@@ -38,3 +39,5 @@ obj-$(CONFIG_PASSTHROUGH_PCI) += pci_passthrough.o
 
 obj-$(CONFIG_SYMMOD) += lnx_virtio_symmod.o
 obj-$(CONFIG_CHAR_STREAM) += char_stream.o
+
+obj-$(CONFIG_MCHECK) += mcheck.o