diff --git a/common/help.c b/common/help.c
index 92ec38076799fe4b7ee4b57b1a21bca0557dd961..b33540588d58a44195686a962a556987254587a5 100644 (file)
--- a/common/help.c
+++ b/common/help.c
printf("\n\tk3conf show processor\n");
printf("\t Prints all the available TISCI processors\n");
}
+ if ((cat == HELP_ALL) || (cat == HELP_SHOW) ||
+ (cat == HELP_SHOW_RM)) {
+ printf("\n\tk3conf show rm\n");
+ printf("\t Prints resources managed by System firmware\n");
+ printf("\n\tk3conf show rm <dev_id>\n");
+ printf("\t Prints resources managed by System firmware for corresponding device\n");
+ }
if ((cat == HELP_ALL) || (cat == HELP_DUMP) ||
(cat == HELP_DUMP_DEVICE)) {
printf("\n\tk3conf dump device\n");