Re: Kernel config

[Ludovic Courtès]

Hi,

Changing the kernel config is currently inconvenient as you can see.
Ideally we should provide an API to express a set of options to turn on
and off.

Ludo’.