@@ -149,6 +149,7 @@ static void print_usage(void)
printf("\t\tRun command on all possible processors/chips/threads (default)\n");
printf("\t-b, --backend=backend\n");
printf("\t\tcronus:\tA backend based on cronus server\n");
+ printf("\t\tsbefifo:\tA backend using sbefifo kernel driver\n");
printf("\t\tfsi:\tAn experimental backend that uses\n");
printf("\t\t\tbit-banging to access the host processor\n");
printf("\t\t\tvia the FSI bus.\n");
@@ -392,6 +393,8 @@ static bool parse_options(int argc, char *argv[])
backend = PDBG_BACKEND_HOST;
} else if (strcmp(optarg, "cronus") == 0) {
backend = PDBG_BACKEND_CRONUS;
+ } else if (strcmp(optarg, "sbefifo") == 0) {
+ backend = PDBG_BACKEND_SBEFIFO;
} else {
fprintf(stderr, "Invalid backend '%s'\n", optarg);
opt_error = true;