1 files changed, 33 insertions, 0 deletions
diff --git a/master/tools.patch b/master/tools.patch
new file mode 100644
index 0000000..072096c
--- /dev/null
+++ b/master/tools.patch
@@ -0,0 +1,33 @@
+diff --git a/tools/to_h.c b/tools/to_h.c
+new file mode 100644
+index 0000000..d2b100d
+--- /dev/null
++++ b/tools/to_h.c
+@@ -0,0 +1,27 @@
++#include <stdio.h>
++
++
++int main(int argc, char *argv)
++{
++unsigned i,n;
++unsigned char c;
++int fd;
++
++fd=open("DEBUGOUTPUT",0);
++
++
++while (read(fd,&c,1)==1) {
++n=c;
++printf ("    0x%02x, ",c);
++
++for (i=1;i<n;++i) {
++if (!(i%16)) {
++	printf("\n");
++	printf("        ");
++}
++read(fd,&c,1);
++printf ("0x%02x, ",c);
++}
++printf("\n");
++}
++}