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