diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-10-15 13:37:16 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-21 10:22:10 +0200 |
| commit | c302c1e1882be5d269878222eed1f14edce54c6c (patch) | |
| tree | 85a9dbe5bb7a221e0be11cc19fdb25653f9c2799 /docs/linux | |
| parent | ecfa7f2fb3674f8ecd4a693a6b164e1d3c6541d6 (diff) | |
pkg/kconfig: add simple config minimization
Minimize finds an equivalent with respect to the provided predicate, but smaller config.
It accepts base (small) and full (large) config. It is assumed that the predicate returns true for the full config.
It is also assumed that base and full are not just two completely arbitrary configs, but full it produced from base
mostly by adding more configs. The minimization procedure thus consists of figuring out what set of configs that
are present in full and are not present in base affect the predicate.
Update #2171
Diffstat (limited to 'docs/linux')
0 files changed, 0 insertions, 0 deletions
