9 static void help(const char argv0
[]) {
11 printf("Usage: %s [args] -i file.bin\n\n"
13 "-i --binary file Raw, bare metal executable\n"
14 "-g --intregs file Text file setting up GPRs\n"
15 "-f --fpregs file Text file setting up FPRs\n"
16 "-s --spregs file Text file setting up SPRs (unnecessary if only LR is needed)\n"
17 "-l --load file:addr Load this binary to RAM\n"
18 "-d --dump file:addr:len Save this RAM area after running\n"
19 "-t --trace file Save a full trace to this file\n"
20 "-h --help This help\n\n"
22 "Load and dump may be given multiple times. GPR/FPR are numbered,\n"
23 "SPRs are named.\n", argv0
);
28 int main(int argc
, char **argv
) {