Index: uspace/lib/libc/generic/devman.c
===================================================================
--- uspace/lib/libc/generic/devman.c	(revision 729fa2d6e7839f9070d458529df329b34e01afb8)
+++ uspace/lib/libc/generic/devman.c	(revision 92413defc319a30e0b83ed8a0996c59ffd9cd882)
@@ -88,5 +88,4 @@
 	aid_t req = async_send_2(phone, DEVMAN_DRIVER_REGISTER, 0, 0, &answer);
 	
-	printf("devman_driver_register (\"%s\", conn)", name);
 	ipcarg_t retval = async_data_write_start(phone, name, str_size(name));
 	if (retval != EOK) {
Index: uspace/srv/devman/devman.c
===================================================================
--- uspace/srv/devman/devman.c	(revision 729fa2d6e7839f9070d458529df329b34e01afb8)
+++ uspace/srv/devman/devman.c	(revision 92413defc319a30e0b83ed8a0996c59ffd9cd882)
@@ -43,7 +43,5 @@
  */
 driver_t * create_driver() 
-{
-	printf(NAME ": create_driver\n");
-	
+{	
 	driver_t *res = malloc(sizeof(driver_t));
 	if(res != NULL) {
Index: uspace/srv/devman/devman.h
===================================================================
--- uspace/srv/devman/devman.h	(revision 729fa2d6e7839f9070d458529df329b34e01afb8)
+++ uspace/srv/devman/devman.h	(revision 92413defc319a30e0b83ed8a0996c59ffd9cd882)
@@ -199,5 +199,4 @@
 static inline void init_driver(driver_t *drv)
 {
-	printf(NAME ": init_driver\n");
 	assert(drv != NULL);
 
@@ -210,5 +209,4 @@
 static inline void clean_driver(driver_t *drv)
 {
-	printf(NAME ": clean_driver\n");
 	assert(drv != NULL);
 
@@ -223,5 +221,4 @@
 static inline void delete_driver(driver_t *drv)
 {
-	printf(NAME ": delete_driver\n");
 	assert(NULL != drv);
 	
Index: uspace/srv/devman/main.c
===================================================================
--- uspace/srv/devman/main.c	(revision 729fa2d6e7839f9070d458529df329b34e01afb8)
+++ uspace/srv/devman/main.c	(revision 92413defc319a30e0b83ed8a0996c59ffd9cd882)
@@ -101,8 +101,8 @@
 	}
 	
-	char drv_name[DEVMAN_NAME_MAXLEN];
+	char *drv_name = NULL;
 	
 	// Get driver name
-	int rc = async_string_receive(drv_name, DEVMAN_NAME_MAXLEN, NULL);	
+	int rc = async_string_receive(&drv_name, DEVMAN_NAME_MAXLEN, NULL);	
 	if (rc != EOK) {
 		ipc_answer_0(iid, rc);
@@ -113,4 +113,8 @@
 	// Find driver structure
 	driver = find_driver(&drivers_list, drv_name);
+	
+	free(drv_name);
+	drv_name = NULL;
+	
 	if (NULL == driver) {
 		printf(NAME ": no driver named %s was found.\n", drv_name);