3 # Arch-specific options that normally shouldn't be changed.
5 KERNEL_MAKE_DIRECTIVE="bzImage"
6 # since "" is allowed (this will translate in `make `, which is nice
7 # for xen-based kernels, the default value of
8 # KERNEL_MAKE_DIRECTIVE_OVERRIDE cannot be ""
9 DEFAULT_KERNEL_MAKE_DIRECTIVE_OVERRIDE="--INVALID--"
10 KERNEL_MAKE_DIRECTIVE_OVERRIDE="${DEFAULT_KERNEL_MAKE_DIRECTIVE_OVERRIDE}"
11 KERNEL_MAKE_DIRECTIVE_2=""
12 KERNEL_BINARY="arch/i386/boot/bzImage"
13 KERNEL_BINARY_OVERRIDE=""
15 DEFAULT_COMPRESS_INITRD=yes
16 DEFAULT_COMPRESS_INITRD_TYPE=best
19 # Arch-specific defaults that can be overridden in the config file or on the
22 DEFAULT_MAKEOPTS="-j2"
24 DEFAULT_KERNEL_MAKE=make
25 DEFAULT_UTILS_MAKE=make