1*c689edbbSJens Wiklander#!/usr/bin/env python3 2*c689edbbSJens Wiklander 3*c689edbbSJens Wiklander# Copyright (c) 2018-2019, Ulf Magnusson 4*c689edbbSJens Wiklander# SPDX-License-Identifier: ISC 5*c689edbbSJens Wiklander 6*c689edbbSJens Wiklander""" 7*c689edbbSJens WiklanderWrites a configuration file where all symbols are set to their their default 8*c689edbbSJens Wiklandervalues. 9*c689edbbSJens Wiklander 10*c689edbbSJens WiklanderThe default output filename is '.config'. A different filename can be passed in 11*c689edbbSJens Wiklanderthe KCONFIG_CONFIG environment variable. 12*c689edbbSJens Wiklander 13*c689edbbSJens WiklanderUsage for the Linux kernel: 14*c689edbbSJens Wiklander 15*c689edbbSJens Wiklander $ make [ARCH=<arch>] scriptconfig SCRIPT=Kconfiglib/alldefconfig.py 16*c689edbbSJens Wiklander""" 17*c689edbbSJens Wiklanderimport kconfiglib 18*c689edbbSJens Wiklander 19*c689edbbSJens Wiklander 20*c689edbbSJens Wiklanderdef main(): 21*c689edbbSJens Wiklander kconf = kconfiglib.standard_kconfig(__doc__) 22*c689edbbSJens Wiklander kconf.load_allconfig("alldef.config") 23*c689edbbSJens Wiklander print(kconf.write_config()) 24*c689edbbSJens Wiklander 25*c689edbbSJens Wiklander 26*c689edbbSJens Wiklanderif __name__ == "__main__": 27*c689edbbSJens Wiklander main() 28