X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_config.c;h=3d1db47564b2f0f49740de43edcb2e91439e10c0;hp=5bfe537350a43e5a4deef2bba5f550eabd602ac7;hb=f7bc654c609c9780d52f6fa980de987ddd337416;hpb=0930d4dd369926196379a19abd04135f73df40c9

diff --git a/palacios/src/palacios/vmm_config.c b/palacios/src/palacios/vmm_config.c
index 5bfe537..3d1db47 100644
--- a/palacios/src/palacios/vmm_config.c
+++ b/palacios/src/palacios/vmm_config.c
@@ -226,10 +226,12 @@ static int setup_devices(struct guest_info * info, struct v3_vm_config * config_
 	v3_create_device(info, "PIIX3", "PCI");
 	
 
+	v3_create_device(info, "LNX_VIRTIO_SYM", "PCI");
 	v3_create_device(info, "LNX_VIRTIO_BLK", "PCI");
 	v3_create_device(info, "LNX_VIRTIO_BALLOON", "PCI");
 	v3_create_device(info, "SYM_SWAP", "LNX_VIRTIO_BLK");
 
+
 	v3_create_device(info, "IDE", &ide_config);
     } else {
 	v3_create_device(info, "IDE", NULL);