--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/python/bin2c.py	Fri Jul 05 14:13:59 2013 +0200
@@ -0,0 +1,19 @@
+#!/usr/bin/python
+
+import sys
+print(sys.argv)
+if len(sys.argv) < 2:
+   print('Usage: {0} binfile [headerfile]'.format(sys.argv[0]))
+   sys.exit(-1)
+
+with open(sys.argv[1], 'rb') as f:
+   data = f.read()
+
+s = ', '.join(hex(b) for b in data)
+output = 'unsigned char data[] = {{{0}}};'.format(s)
+if len(sys.argv) < 3:
+   print(output)
+else:
+   with open(sys.argv[2], 'w') as f:
+      f.write(output)
+