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 2ee3df7317cda42e5c13ce983b1d685881ed9554..4d9a580b5c113da2b458436ac6499d27a1a70543 100644 (file)
--- a/l4/pkg/io/server/src/vproxy_dev.cc
+++ b/l4/pkg/io/server/src/vproxy_dev.cc
@@ -1,5 +1,7 @@
 /*
- * (c) 2010 Technische Universität Dresden
+ * (c) 2010 Alexander Warg <warg@os.inf.tu-dresden.de>
+ *     economic rights: Technische Universität Dresden (Germany)
+ *
  * This file is part of TUD:OS and distributed under the terms of the
  * GNU General Public License 2.
  * Please see the COPYING-GPL-2 file for details.
@@ -26,10 +28,17 @@ Proxy_dev::Proxy_dev(Hw::Device *d)
   for (Resource_list::iterator i = d->resources()->begin();
        i != d->resources()->end(); ++i)
     {
+      if (!*i)
+        continue;
+
       if (i->disabled())
        continue;
 
-      add_resource(*i);
+      Resource *vr = Resource_factory::create(*i, false);
+      if (!vr)
+       vr = *i;
+
+      add_resource(vr);
     }
 }