3 # Arch-specific options that normally shouldn't be changed.
5 KERNEL_MAKE_DIRECTIVE="bzImage"
6 KERNEL_MAKE_DIRECTIVE_2=""
7 KERNEL_BINARY="arch/i386/boot/bzImage"
12 # Arch-specific defaults that can be overridden in the config file or on the
15 DEFAULT_MAKEOPTS="-j2"
17 DEFAULT_KERNEL_MAKE=make
18 DEFAULT_UTILS_MAKE=make