udev_monitor_get_udev(category37-sonstige.html) - phpMan