swh:1:snp:baebc2109e4a2ec22a1129a3859647e191d04df4
Tip revision: 7408f1ede24c7a018f0884683e39aaf1b1707198 authored by Ben Hutchings on 22 December 2017, 14:12:23 UTC
Synthetic revision for Debian source package linux version 4.14.7-1
Synthetic revision for Debian source package linux version 4.14.7-1
Tip revision: 7408f1e
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"