# $Id: e998f11e9e174cf1d6482f3d1a521735f9cca132 $
#
# 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="linux"
KERNEL_MAKE_DIRECTIVE_2=""
KERNEL_BINARY="linux"

ARCH_HAVENOPREPARE=yes
DEFAULT_KERNEL_MAKE="make ARCH=um"
