kmax
kmax copied to clipboard
paulgazz
A collection of analysis tools for Kconfig and Kbuild constraints.
Hello, I was wondering if there is a way to pre-set a tristate symbol to `m` while calling `klocalizer` without the `--modules` flag. Not all tristate symbols I want to...
Currently, `kclause` converts the constraints for each configuration option to the smtlib format separately, which is roughly half of the running time of `kclause`. Since `klocalizer` combines these constraints anyway,...
This was necessary for python 2, but kmax has been permanently migrated to python 3. Double-check that dd BDDs have no issues.
When using krepair on Linux kernel commit 53d862fac4a0, klocalizer is unaware of constraints between using the parisc64 architecture and BITS==64. As with other architectures, this information is not necessarily explicit...
Currently, --constraints-file uses a custom format. Add a new option that can take constrained configuration options in the Kconfig format to make it easier to combine Kconfig configuration fragments.
Some configuration options have multiple default values, with constraints determining when they apply. Instead of picking an arbitrary one as described in #213, check the constraints against the the repaired...
For example: ``` # go to linux git copy git checkout -f v5.13 make.cross ARCH=x86_64 allnoconfig cp .config allno cat allno | grep CONFIG_DEFAULT_MMAP_MIN_ADDR # outputs CONFIG_DEFAULT_MMAP_MIN_ADDR=4096 klocalizer -a x86_64...
- The list of architectures to try, which is in https://github.com/paulgazz/kmax/blob/master/kmax/arch.py#L55 Perhaps klocalizer could check the arch/ directory for any additions, although some architectures have different arch vs. src_arch, i.e.,...
With the same motivation as #185, one of the challenges for krepair is when the original configuration file is from a different architecture then some lines of code in the...
When patch (or any --include) contains a file in an arch-specific directory, move that arch to the to of the list of architectures to try.