443067253c
Change-Id: Ie9c902819ed0750a04f8318911fa914701c2a0fe Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/56755 Maintainer: Gabe Black <gabe.black@gmail.com> Tested-by: kokoro <noreply+kokoro@google.com> Reviewed-by: Bobby Bruce <bbruce@ucdavis.edu>
28 lines
607 B
Python
Executable File
28 lines
607 B
Python
Executable File
#!/usr/bin/env python3
|
|
|
|
# Copyright (c) 2018-2019, Ulf Magnusson
|
|
# SPDX-License-Identifier: ISC
|
|
|
|
"""
|
|
Writes a configuration file where all symbols are set to their their default
|
|
values.
|
|
|
|
The default output filename is '.config'. A different filename can be passed in
|
|
the KCONFIG_CONFIG environment variable.
|
|
|
|
Usage for the Linux kernel:
|
|
|
|
$ make [ARCH=<arch>] scriptconfig SCRIPT=Kconfiglib/alldefconfig.py
|
|
"""
|
|
import kconfiglib
|
|
|
|
|
|
def main():
|
|
kconf = kconfiglib.standard_kconfig(__doc__)
|
|
kconf.load_allconfig("alldef.config")
|
|
print(kconf.write_config())
|
|
|
|
|
|
if __name__ == "__main__":
|
|
main()
|