# $Id: 7ef4aa2f687c4eac426fc1d1c2cd63b65f37474b $
#
# This file is sourced AFTER defaults/config.sh; generic options should be set there.
# Arch-specific options that normally shouldn't be changed.
#
KERNEL_MAKE_DIRECTIVE=""
KERNEL_MAKE_DIRECTIVE_2=""
KERNEL_BINARY="arch/s390/boot/bzImage"
