Hi there, I believe, a missing close_module_list() good bye, Vasilis
Index: src/system/kernel/device_manager/device_manager.cpp =================================================================== --- src/system/kernel/device_manager/device_manager.cpp (revision 25770) +++ src/system/kernel/device_manager/device_manager.cpp (working copy) @@ -305,6 +305,7 @@ devfs_publish_directory(path.Path()); } + close_module_list(list); } else { // TODO: implement module directory traversal! }