--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/kernel/make.py	Thu Nov 28 20:39:37 2013 +0100
@@ -0,0 +1,14 @@
+#!/usr/bin/env python
+
+import sys
+import os
+sys.path.insert(0, os.path.join('..', 'python'))
+import zcc
+
+arglist = ['memory.c3', 'kernel.c3', 'syscall.c3']
+arglist += ['--target', 'arm']
+arglist += ['--dumpasm']
+arglist += ['--log', 'debug']
+
+args = zcc.parser.parse_args(arglist)
+zcc.main(args)