Index: uspace/drv/test1/test1.c
===================================================================
--- uspace/drv/test1/test1.c	(revision 703d19c8d62d968e9d876fba84d87563a7a18da4)
+++ uspace/drv/test1/test1.c	(revision c01f8e6569d3ccfbdad77b7dfc725604ca76fece)
@@ -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 c01f8e6569d3ccfbdad77b7dfc725604ca76fece)