Copyright (c) 2020-2023 the build2 authors (see the AUTHORS file).
Copyright (c) various authors for the Kconfig code (see files for details).
