#!/usr/bin/env python

import sys
import os

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 += args

    args = zcc.parser.parse_args(arglist)
    zcc.main(args)

if __name__ == '__main__':
    sys.path.insert(0, os.path.join('..', 'python'))
    make_kernel(sys.argv[1:])