mirror of
https://github.com/riscv-software-src/opensbi
synced 2025-11-04 14:00:31 +00:00
422f0e0486
We adopt Kconfiglib v14.1.0 sources under scripts directory so that top-level OpenSBI makefile can directly use Kconfiglib scripts without expecting users to install a particular version of Kconfiglib on their build system. Signed-off-by: Anup Patel <apatel@ventanamicro.com> Tested-by: Andrew Jones <ajones@ventanamicro.com> Acked-by: Atish Patra <atishp@rivosinc.com> Tested-by: Atish Patra <atishp@rivosinc.com>
29 lines
761 B
Python
Executable File
29 lines
761 B
Python
Executable File
#!/usr/bin/env python3
|
|
|
|
# Copyright (c) 2018-2019, Ulf Magnusson
|
|
# SPDX-License-Identifier: ISC
|
|
|
|
"""
|
|
Updates an old .config file or creates a new one, by filling in default values
|
|
for all new symbols. This is the same as picking the default selection for all
|
|
symbols in oldconfig, or entering the menuconfig interface and immediately
|
|
saving.
|
|
|
|
The default input/output filename is '.config'. A different filename can be
|
|
passed in the KCONFIG_CONFIG environment variable.
|
|
|
|
When overwriting a configuration file, the old version is saved to
|
|
<filename>.old (e.g. .config.old).
|
|
"""
|
|
import kconfiglib
|
|
|
|
|
|
def main():
|
|
kconf = kconfiglib.standard_kconfig(__doc__)
|
|
print(kconf.load_config())
|
|
print(kconf.write_config())
|
|
|
|
|
|
if __name__ == "__main__":
|
|
main()
|