annotate kernel/make.py @ 322:44f336460c2a

Half of use of burg spec for arm
author Windel Bouwman
date Mon, 27 Jan 2014 19:58:07 +0100
parents 084cccaa5deb
children
rev   line source
293
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents: 292
diff changeset
1 #!/usr/bin/env python
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents: 292
diff changeset
2
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents: 292
diff changeset
3 import sys
6aa721e7b10b Try to improve build sequence
Windel Bouwman
parents: 292
diff changeset
4 import os
283
c9781c73e7e2 Added first kernel files
Windel Bouwman
parents:
diff changeset
5
315
084cccaa5deb Added console and screen
Windel Bouwman
parents: 313
diff changeset
6 def make_kernel(args=[]):
313
04cf4d26a3bc Added constant function
Windel Bouwman
parents: 312
diff changeset
7 import zcc
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 305
diff changeset
8 arglist = ['memory.c3', 'kernel.c3', 'syscall.c3', 'process.c3']
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 305
diff changeset
9 arglist += ['schedule.c3', 'arch_arm.c3']
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 305
diff changeset
10 arglist += ['--target', 'arm']
315
084cccaa5deb Added console and screen
Windel Bouwman
parents: 313
diff changeset
11 arglist += args
283
c9781c73e7e2 Added first kernel files
Windel Bouwman
parents:
diff changeset
12
306
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 305
diff changeset
13 args = zcc.parser.parse_args(arglist)
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 305
diff changeset
14 zcc.main(args)
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 305
diff changeset
15
b145f8e6050b Start on c3 rewrite
Windel Bouwman
parents: 305
diff changeset
16 if __name__ == '__main__':
311
ff665880a6b0 Added testcase for kernel and userspace
Windel Bouwman
parents: 306
diff changeset
17 sys.path.insert(0, os.path.join('..', 'python'))
315
084cccaa5deb Added console and screen
Windel Bouwman
parents: 313
diff changeset
18 make_kernel(sys.argv[1:])