On Wed, Dec 7, 2011 at 3:14 AM, Peter Maydell <peter.maydell at linaro.org> wrote: > On 7 December 2011 05:53, Christoffer Dall <cdall at cs.columbia.edu> wrote: >> On Mon, Dec 5, 2011 at 12:47 PM, Peter Maydell <peter.maydell at linaro.org> wrote: >>> Allow the kernel command line to be set in the makefile rather >>> than forcing the user to edit boot.S every time. >> >> great, although again I think the config-file scenario would apply. > > Once things we care about are makefile variables, the config file > can be trivially implemented by having the makefile say > ?-include config > > at the top. (note the '-' so we don't complain if it doesn't exist.) > sounds simple and good to me. we probably want to complain if things like KERNEL_SRC is not set though.