--- /dev/null
+#define _GNU_SOURCE
+
+#include <getopt.h>
+#include <stdio.h>
+#include <stdint.h>
+#include <stdlib.h>
+#include <unistd.h>
+
+static void help(const char argv0[]) {
+
+ printf("Usage: %s [args] -i file.bin\n\n"
+
+ "-i --binary file Raw, bare metal executable\n"
+ "-g --intregs file Text file setting up GPRs\n"
+ "-f --fpregs file Text file setting up FPRs\n"
+ "-s --spregs file Text file setting up SPRs (unnecessary if only LR is needed)\n"
+ "-l --load file:addr Load this binary to RAM\n"
+ "-d --dump file:addr:len Save this RAM area after running\n"
+ "-t --trace file Save a full trace to this file\n"
+ "-h --help This help\n\n"
+
+ "Load and dump may be given multiple times. GPR/FPR are numbered,\n"
+ "SPRs are named.\n", argv0);
+
+ exit(0);
+}
+
+int main(int argc, char **argv) {
+
+
+ return 0;
+}