update

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

diff --git a/l4/pkg/io/server/src/main.cc b/l4/pkg/io/server/src/main.cc
index 69275175fcefe7628a5098028da02d72c5d2ef7a..82f81de5380d395ece71793cdefdcf3f64a16731 100644 (file)
--- a/l4/pkg/io/server/src/main.cc
+++ b/l4/pkg/io/server/src/main.cc
@@ -114,6 +114,8 @@ void dump(Device *d)
 Hw_icu::Hw_icu()
 {
   icu = L4Re::Env::env()->get_cap<L4::Icu>("icu");
+  if (icu.is_valid())
+    icu->info(&info);
 }
 
 
@@ -215,6 +217,7 @@ arg_init(int argc, char * const *argv, Io_config_x *cfg)
           _my_cfg.inc_verbosity();
           break;
         case 1:
+         printf("Enabling transparent MSIs\n");
           cfg->set_transparent_msi(true);
           break;
         }