HelenOS sources

desc_help         245 kernel/generic/src/console/cmd.c static void desc_help(void);
desc_help         255 kernel/generic/src/console/cmd.c 	.help = desc_help,
HelenOS homepage, sources at GitHub