Index: kernel/generic/include/console/kconsole.h
===================================================================
--- kernel/generic/include/console/kconsole.h	(revision a3630165a53276d3b260291f875ed00c4e105d15)
+++ kernel/generic/include/console/kconsole.h	(revision d4d8255695d912194c2d1bb169fb048490d6968e)
@@ -105,4 +105,5 @@
 
 extern bool cmd_register(cmd_info_t *cmd);
+extern const char *cmdtab_enum(const char *name, const char **h, void **ctx);
 
 #endif