| Line 44... |
Line 44... |
|
|
env = Environment(CC = config.toolchain_userspace + 'gcc',
|
env = Environment(CC = config.toolchain_userspace + 'gcc',
|
# We don't use -nostdinc because sometimes we need standard headers,
|
# We don't use -nostdinc because sometimes we need standard headers,
|
# such as stdarg.h e.g. for variable args, as in printk().
|
# such as stdarg.h e.g. for variable args, as in printk().
|
CCFLAGS = ['-g', '-nostdlib', '-ffreestanding', '-std=gnu99', '-Wall', \
|
CCFLAGS = ['-g', '-nostdlib', '-ffreestanding', '-std=gnu99', '-Wall', \
|
'-Werror', '-march=' + gcc_arch_flag],
|
'-Werror'],
|
LINKFLAGS = ['-nostdlib', '-T' + "include/linker.lds", "-u_start"],\
|
LINKFLAGS = ['-nostdlib', '-T' + "include/linker.lds", "-u_start"],\
|
ASFLAGS = ['-D__ASSEMBLY__'], \
|
ASFLAGS = ['-D__ASSEMBLY__'], \
|
PROGSUFFIX = '.elf', # The suffix to use for final executable
|
PROGSUFFIX = '.elf', # The suffix to use for final executable
|
ENV = {'PATH' : os.environ['PATH']}, # Inherit shell path
|
ENV = {'PATH' : os.environ['PATH']}, # Inherit shell path
|
LIBS = ['gcc', 'libl4', 'c-userspace', 'libdev-userspace', \
|
LIBS = ['gcc', 'libl4', 'c-userspace', 'libdev-userspace', \
|
