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.) -- PMM
