Hi Ludo, > An argument in favor of the status quo would be that it allows users to > choose between ‘r’ and ‘r-minimal’. Is that a compelling argument? reading the documentation I thought this was possible using --with-input=r-minimal=r ? > However, if we go that route, we should arrange to not propagate > ‘r-minimal’ (it’s intrusive) and instead have ‘kernel.json’ do the right > thing. I’m not following, sorry. What do you suggest kernel.json should do? Lars