Index: generic/src/cpu/cpu.c
===================================================================
--- generic/src/cpu/cpu.c	(revision 031e26427bf76c26ff85a0d574c174809efaae1c)
+++ generic/src/cpu/cpu.c	(revision dfd9186bebee3b39d74d4a9f26b1aaffd4bec37e)
@@ -39,4 +39,5 @@
 #include <memstr.h>
 #include <list.h>
+#include <print.h>
 
 cpu_t *cpus;
@@ -89,2 +90,15 @@
 	cpu_arch_init();
 }
+
+/** List all processors. */
+void cpu_list(void)
+{
+	int i;
+
+	for (i = 0; i < config.cpu_count; i++) {
+		if (cpus[i].active)
+			cpu_print_report(&cpus[i]);
+		else
+			printf("cpu%d: not active\n", i);
+	}
+}