On 6 May 2010 16:24, Michal Marek <mmarek@xxxxxxx> wrote: > On a related note, I see Vegard's GSoC project to use a sat solver for > kconfig got accepted [1]. Vegard, how is the project progressing? > > [1] > http://socghop.appspot.com/gsoc/student_project/show/google/gsoc2010/psu_home/t127230762803 Hi, Yes, that is true :-) I was planning to send an announcement to LKML this weekend. Actual coding doesn't start until the last week of May. So hopefully we can soon get rid of select altogether :-) Vegard -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html