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