Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1756088Ab0FCS6I (ORCPT ); Thu, 3 Jun 2010 14:58:08 -0400 Received: from smtp1.linux-foundation.org ([140.211.169.13]:60479 "EHLO smtp1.linux-foundation.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752130Ab0FCS6G (ORCPT ); Thu, 3 Jun 2010 14:58:06 -0400 Date: Thu, 3 Jun 2010 11:53:25 -0700 (PDT) From: Linus Torvalds To: Russell King cc: Daniel Walker , Kevin Hilman , Linux Kernel Mailing List , linux-arm-msm@vger.kernel.org Subject: Re: ARM defconfig files In-Reply-To: <20100603184104.GC25779@flint.arm.linux.org.uk> Message-ID: References: <20100603074548.GA12104@flint.arm.linux.org.uk> <20100603181010.GA25779@flint.arm.linux.org.uk> <1275589230.23384.19.camel@c-dwalke-linux.qualcomm.com> <20100603184104.GC25779@flint.arm.linux.org.uk> User-Agent: Alpine 2.00 (LFD 1167 2008-08-23) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1118 Lines: 28 On Thu, 3 Jun 2010, Russell King wrote: > > The problem comes with driver configuration, where you have to go > through lots of menus to find all the drivers for the platform/SoC. > That's the tedious bit, and more often than not it takes several > attempts to get everything that's necessary. It's often tedious for other cases too ("I just want to enable a particular driver, what do I need to do so?"), and I do agree with Daniel that the SAT solver approach sounds interesting as a way to solve some of the complexities. At the same time, "SAT solver" does scream "over-engineering failure" to me. We've had horribly bad experiences with over-engineering in that space before. Yes, I know about MiniSAT and that these things can be done without necessarily huge amounts of complex code, but these things tend to grow to huge monsters. Who knows. Linus -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/