4 # Arch-specific options that normally shouldn't be changed.
6 KERNEL_MAKE_DIRECTIVE="vmlinux"
7 KERNEL_MAKE_DIRECTIVE_2=""
8 KERNEL_BINARY="vmlinux"
13 # Arch-specific defaults that can be overridden in the config file or on the
16 DEFAULT_MAKEOPTS="-j2"
18 DEFAULT_KERNEL_MAKE=make
19 DEFAULT_UTILS_MAKE=make