--- a/targets/__init__.py	Tue Mar 26 00:35:52 2013 +0100
+++ b/targets/__init__.py	Tue Mar 26 09:31:20 2013 +0900
@@ -70,6 +70,10 @@
 def GetTargetCode(targetname):
     return open(targets[targetname]["code"]).read()
 
+def GetHeader():
+    filename = path.join(path.split(__file__)[0],"beremiz.h")
+    return open(filename).read()
+
 def GetCode(name):
     filename = path.join(path.split(__file__)[0],name + ".c")
     return open(filename).read()