Index: kernel/generic/include/console/kconsole.h
===================================================================
--- kernel/generic/include/console/kconsole.h	(revision 6a75c1348f4cecc4045deb137aaa5b67b4adf133)
+++ kernel/generic/include/console/kconsole.h	(revision 0cfc18d371132ba897ebc75f095c39ad9d64be99)
@@ -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