[lug] Fwd: [ANNOUNCE] GSoC project: Improving kconfig using a SAT solver

[Jeffrey Haemer]

If you're interested in this sort of thing, July's BLUG speaker will be Bart
Massey.  He's going to talk about the Linux desktop (at least that's what
his original note said), but I'm sure he'd be delighted to talk to you about
stuff like this, too.

---------- Forwarded message ----------
From: Vegard Nossum <vegard.nossum at gmail.com>
Date: Mon, May 17, 2010 at 6:02 AM
Subject: [ANNOUNCE] GSoC project: Improving kconfig using a SAT solver
To: linux-kernel at vger.kernel.org, linux-kbuild at vger.kernel.org
Cc: Bart Massey <bart at cs.pdx.edu>, Michal Marek <mmarek at suse.cz>, Greg
Kroah-Hartman <greg at kroah.com>, Ingo Molnar <mingo at elte.hu>, James Bottomley
<James.Bottomley at hansenpartnership.com>


Hi,

I just wanted to say that I've been accepted into this year's Google
Summer of Code program and will spend this summer working on improving
the kconfig system in a very particular direction: I want to integrate
a proper boolean constraint satisfiability solver into the
configuration editors (menuconfig, etc.) in order to allow
partial/incomplete configuration specifications. In short, this means
that the user can choose to not specify a particular value for some
config options, but let the system deduce their values. This will
hopefully improve usability and also solve the select problem once and
for all.

A slightly shortened version of the project proposal that was accepted
can be found here:

http://userweb.kernel.org/~vegard/gsoc2010/proposal-short.html

In case anybody would like to track my progress throughout the summer,
I have set up my public project repositories at:

http://github.com/vegard/dpll
http://github.com/vegard/linux-2.6-kconfig-sat

I am also planning to post some updates to LKML as milestones are
completed.  (Please let me know if you would like to be added to or
removed from the Cc list.) The official end date is August 16, by
which time I hope to have submitted my work for mainline inclusion.

Feedback is appreciated -- I am also prepared to respond to
constructive criticism.

Lastly, I would like to thank Google for sponsoring me, and to thank
Portland State University and my mentor Bart Massey for believing in
this idea and project.


Vegard
--
To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in
the body of a message to majordomo at vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html



-- 
Jeffrey Haemer <jeffrey.haemer at gmail.com>
720-837-8908 [cell],  @goyishekop [twitter]
http://seejeffrun.blogspot.com [blog],
http://www.youtube.com/user/goyishekop [vlog]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lug.boulder.co.us/pipermail/lug/attachments/20100517/07fa5a8b/attachment.html>