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>
50 lines
1.3 KiB
Python
Executable File
50 lines
1.3 KiB
Python
Executable File
#!/usr/bin/env python3
|
|
|
|
# Copyright (c) 2019, Ulf Magnusson
|
|
# SPDX-License-Identifier: ISC
|
|
|
|
"""
|
|
Saves a minimal configuration file that only lists symbols that differ in value
|
|
from their defaults. Loading such a configuration file is equivalent to loading
|
|
the "full" configuration file.
|
|
|
|
Minimal configuration files are handy to start from when editing configuration
|
|
files by hand.
|
|
|
|
The default input configuration file is '.config'. A different input filename
|
|
can be passed in the KCONFIG_CONFIG environment variable.
|
|
|
|
Note: Minimal configurations can also be generated from within the menuconfig
|
|
interface.
|
|
"""
|
|
import argparse
|
|
|
|
import kconfiglib
|
|
|
|
|
|
def main():
|
|
parser = argparse.ArgumentParser(
|
|
formatter_class=argparse.RawDescriptionHelpFormatter,
|
|
description=__doc__)
|
|
|
|
parser.add_argument(
|
|
"--kconfig",
|
|
default="Kconfig",
|
|
help="Top-level Kconfig file (default: Kconfig)")
|
|
|
|
parser.add_argument(
|
|
"--out",
|
|
metavar="MINIMAL_CONFIGURATION",
|
|
default="defconfig",
|
|
help="Output filename for minimal configuration (default: defconfig)")
|
|
|
|
args = parser.parse_args()
|
|
|
|
kconf = kconfiglib.Kconfig(args.kconfig, suppress_traceback=True)
|
|
print(kconf.load_config())
|
|
print(kconf.write_min_config(args.out))
|
|
|
|
|
|
if __name__ == "__main__":
|
|
main()
|