1 files changed, 25 insertions, 0 deletions
diff --git a/src/tools/genboot.c b/src/tools/genboot.c
new file mode 100644
index 0000000..6f2e408
--- /dev/null
+++ b/src/tools/genboot.c
@@ -0,0 +1,25 @@
+#include <stdio.h>
+#include <assert.h>
+
+int
+main(int argc, char *argv[])
+{
+	assert(argc == 2);
+	FILE *f = fopen(argv[1], "r");
+	assert(f != NULL);
+
+	printf("unsigned char boot_src[] = { ");
+
+	int c;
+	int s = 0;
+	while((c = fgetc(f)) != EOF){
+		if(s++ > 0)
+			printf(", ");
+		printf("0x%02x", c);
+	}
+
+	printf(" };\n");
+	printf("unsigned int boot_src_len = %d;\n", s);
+
+	return 0;
+}