Index: uspace/lib/drv/generic/driver.c
===================================================================
--- uspace/lib/drv/generic/driver.c	(revision 033cbf8287ef01edf5fe473bad471d9c5e3c3b3b)
+++ uspace/lib/drv/generic/driver.c	(revision 3ad7b1c059ef32550b039928f322d11120c8df35)
@@ -47,4 +47,5 @@
 #include <stdlib.h>
 #include <str.h>
+#include <str_error.h>
 #include <ctype.h>
 #include <errno.h>
@@ -675,5 +676,8 @@
 	rc = devman_driver_register(driver->name, driver_connection);
 	if (rc != EOK) {
-		printf("Error: Failed to register driver with device manager.\n");
+		printf("Error: Failed to register driver with device manager "
+		    "(%s).\n", (rc == EEXISTS) ? "driver already started" :
+		    str_error(rc));
+		
 		return 1;
 	}