--- a/kernel/make.py	Wed Dec 18 20:22:20 2013 +0100
+++ b/kernel/make.py	Sat Dec 21 10:03:01 2013 +0100
@@ -3,16 +3,16 @@
 import sys
 import os
 
-def make_kernel():
+def make_kernel(args=[]):
     import zcc
     arglist = ['memory.c3', 'kernel.c3', 'syscall.c3', 'process.c3']
     arglist += ['schedule.c3', 'arch_arm.c3']
     arglist += ['--target', 'arm']
-    arglist += ['--log', 'debug']
+    arglist += args
 
     args = zcc.parser.parse_args(arglist)
     zcc.main(args)
 
 if __name__ == '__main__':
     sys.path.insert(0, os.path.join('..', 'python'))
-    make_kernel()
+    make_kernel(sys.argv[1:])