On Thu, 18 Feb 2016, Nicolas Pitre wrote:
quoted
Is there some way you can do a PLATFORM_COUNTER++ for each device that
is selected, and then XIP_KERNEL would depend on PLATFORM_COUNTER == 1
?
I don't know all the Kconfig possibilities.
But would something like this work?
config FOO
depends on !(XIP && CHOICE_MADE)
select CHOICE_MADE
I follow your logic and that might work: If you made multiple choices, it would just take the first one.
However...I just tried it and it crashes.
scripts/kconfig/mconf Kconfig
make[2]: *** [menuconfig] Segmentation fault (core dumped)
make[1]: *** [menuconfig] Error 2
It looks like you can't depend on something not being set that you are going to set yourself. Basically..."do as I say, not as I do"
Chris