swh:1:snp:baebc2109e4a2ec22a1129a3859647e191d04df4
Tip revision: 6167c4247a888781a7fc038ba3674009c170b3dd authored by Salvatore Bonaccorso on 14 February 2018, 05:56:06 UTC
Synthetic revision for Debian source package linux version 4.14.17-1
Synthetic revision for Debian source package linux version 4.14.17-1
Tip revision: 6167c42
Kconfig
# SPDX-License-Identifier: GPL-2.0
#
# For a description of the syntax of this configuration file,
# see Documentation/kbuild/kconfig-language.txt.
#
mainmenu "Linux/$ARCH $KERNELVERSION Kernel Configuration"
config SRCARCH
string
option env="SRCARCH"
source "arch/$SRCARCH/Kconfig"