Index: uspace/app/devctl/devctl.c
===================================================================
--- uspace/app/devctl/devctl.c	(revision 7354b5e275cfd7f15773c38db318e1fa938eab6e)
+++ uspace/app/devctl/devctl.c	(revision 7b616e23c349fc3f8cb4c5132825f4f5ef12c96a)
@@ -35,4 +35,5 @@
 #include <devman.h>
 #include <errno.h>
+#include <io/table.h>
 #include <stdbool.h>
 #include <stdio.h>
@@ -205,4 +206,5 @@
 	size_t ndevs;
 	size_t i;
+	table_t *table = NULL;
 	int rc;
 
@@ -210,4 +212,13 @@
 	if (rc != EOK)
 		return rc;
+
+	rc = table_create(&table);
+	if (rc != EOK) {
+		assert(rc == ENOMEM);
+		goto out;
+	}
+
+	table_header_row(table);
+	table_printf(table, "Driver\t" "Devs\t" "State\n");
 
 	for (i = 0; i < ndrvs; i++) {
@@ -226,11 +237,17 @@
 		sstate = drv_state_str(state);
 
-		printf("%-11s %3zu %s\n", sstate, ndevs, drv_name);
+		table_printf(table, "%s\t" "%zu\t" "%s\n", drv_name, ndevs, sstate);
 skip:
 		free(devs);
 	}
+
+	rc = table_print_out(table, stdout);
+	if (rc != EOK)
+		printf("Error printing driver table.\n");
+out:
 	free(drvs);
-
-	return EOK;
+	table_destroy(table);
+
+	return rc;
 }