Index: uspace/drv/test1/test1.c
===================================================================
--- uspace/drv/test1/test1.c	(revision 703d19c8d62d968e9d876fba84d87563a7a18da4)
+++ uspace/drv/test1/test1.c	(revision 42be09b14da6e407504329603d4a445d6a44aede)
@@ -66,5 +66,7 @@
 	    match_id, match_score);
 
-	if (rc != EOK) {
+	if (rc == EOK) {
+		printf(NAME ": registered child device `%s'.\n", name);
+	} else {
 		printf(NAME ": failed to register child `%s' (%s).\n",
 		    name, str_error(rc));
Index: uspace/drv/test1/test1.ma
===================================================================
--- uspace/drv/test1/test1.ma	(revision 703d19c8d62d968e9d876fba84d87563a7a18da4)
+++ uspace/drv/test1/test1.ma	(revision 42be09b14da6e407504329603d4a445d6a44aede)