Re: [kata-dev] not-so-common dynamic (not build) kernel configurations: examples and summary