X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;fp=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=a20399babca460e7ec59de36bf4cf38ba1dd6d71;hp=1b191d00a6c93f2af20951d49b6936b50b0848dc;hb=37c18b2c2335a41c68c2f0b779fd2b7d51ab216d;hpb=0160025157d9bc39687eb0c5df6cb3d965d20e07

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index 1b191d0..a20399b 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -49,6 +49,9 @@ void Init_V3(struct v3_os_hooks * hooks, struct v3_ctrl_ops * vmm_ops) {
     os_hooks = hooks;
     v3_cpu_type = V3_INVALID_CPU;
 
+    // Register all the possible device types
+    v3_init_devices();
+
 
 #ifdef INSTRUMENT_VMM
     v3_init_instrumentation();