wiki:coverage

satconf originates from vegards tree: http://github.com/vegard/linux-2.6-kconfig-sat

/proj/i4vamos/tools/bin/satconf is an unpatched satconf binary from vegards tree.

Howto generate and expand partial configurations with undertaker:

dump-rsf.sh
undertaker -m models/x86.model  -c ./drivers/scsi/ncr53c8xx.c
cp ./drivers/scsi/ncr53c8xx.c.config1 .satconfig
env ARCH=x86 KERNELVERSION=`git describe` satconf arch/x86/Kconfig

TOP 15 variable implementation files (format: #possible solutions, filename)

19 ./kernel/sched.c  (but satconf still fails)
11 ./arch/x86/kernel/setup.c
10 ./mm/page_alloc.c
9 ./kernel/module.c
9 ./arch/arm/mach-pxa/vpac270.c
9 ./arch/arm/mach-pxa/balloon3.c
8 ./drivers/tty/sysrq.c
8 ./drivers/mfd/twl-core.c
7 ./drivers/pci/pci-driver.c
7 ./arch/x86/boot/compressed/misc.c
7 ./arch/arm/mach-pxa/em-x270.c
7 ./arch/arm/mach-pxa/cm-x300.c
6 ./mm/slab.c
6 ./mm/shmem.c
6 ./kernel/trace/trace.c
6 ./kernel/trace/ftrace.c
6 ./kernel/sysctl.c
6 ./kernel/sched_fair.c
6 ./kernel/rcutree.c
6 ./drivers/staging/ath6kl/os/linux/ar6000_drv.c

Current statistics:

filename	allnoconfig	allyesconfig	allmodconfig	defconfig	vamos	total
./arch/x86/kernel/setup.c	 730	 730	 730	 730	 730	 1045
./arch/arm/mach-pxa/balloon3.c	 288	 288	 288	 288	 0	 365
./arch/arm/mach-pxa/cm-x300.c	 585	 585	 585	 585	 585	 710
./kernel/module.c	 2309	 2309	 2309	 2309	 0	 3019
./drivers/pci/pci-driver.c	 753	 753	 753	 753	 0	 1137
./mm/shmem.c	 2066	 2066	 2066	 2066	 0	 2705
./kernel/sched_fair.c	 1262	 1262	 1262	 1262	 1262	 2143
./mm/page_alloc.c	 3248	 3248	 3248	 3248	 0	 5161
./kernel/trace/trace.c	 3149	 3149	 3149	 3149	 0	 4485
./kernel/trace/ftrace.c	 2448	 2448	 2448	 2448	 0	 3401
./mm/slab.c	 2981	 2981	 2981	 2981	 0	 4527
./arch/arm/mach-pxa/em-x270.c	 1090	 1090	 1090	 1090	 1090	 1339
./drivers/mfd/twl-core.c	 744	 744	 744	 744	 744	 1076
./arch/x86/boot/compressed/misc.c	 206	 206	 206	 206	 0	 353
./kernel/rcutree.c	 1106	 1106	 1106	 1106	 1106	 1903
./kernel/sysctl.c	 2232	 2232	 2232	 2232	 0	 2677
Last modified 9 years ago Last modified on 12/16/10 15:36:08
Note: See TracWiki for help on using the wiki.