Re: [RFC PATCH 2/2] Documentation: dev-tools: add kconfirm

[Julian Braha]

On Tue, 28 Apr 2026, Jani Nikula <jani.nikula@xxxxxxxxxxxxxxx> wrote:
> Oh, I'd really like a check on this part from kconfig-language.rst:
>
> i.e. warn on selecting visible symbols or symbols with
> dependencies.

Hi Jani,

This is very doable in the general case of unconditional
visibility/non-visibility. Handling the more complex case of conditional
prompts will require finishing the SMT model, coming later.

I'll add this check, hopefully for kconfirm v0.8 / RFC 2 :)

Thanks for the inspiration, and let me know if you have any other ideas,
too.

- Julian Braha