update

[l4.git] / l4 / pkg / io / server / src / vproxy_dev.cc

diff --git a/l4/pkg/io/server/src/vproxy_dev.cc b/l4/pkg/io/server/src/vproxy_dev.cc
index f59ce5234298f454af6247615b0f1c85cbd93b2c..4d9a580b5c113da2b458436ac6499d27a1a70543 100644 (file)
--- a/l4/pkg/io/server/src/vproxy_dev.cc
+++ b/l4/pkg/io/server/src/vproxy_dev.cc
@@ -34,7 +34,11 @@ Proxy_dev::Proxy_dev(Hw::Device *d)
       if (i->disabled())
        continue;
 
-      add_resource(*i);
+      Resource *vr = Resource_factory::create(*i, false);
+      if (!vr)
+       vr = *i;
+
+      add_resource(vr);
     }
 }