On Fri, 31 May 2019 at 16:47, Philippe Mathieu-Daudé <phi...@redhat.com> wrote: > > Amusingly Miroslav and myself hit this issue at the same time. > > Currently there is no way to pass a CONFIG_X to sources in target/, > except via a Makefile rule (and filling with stubs). > > Paolo says this is on purpose, CONFIG_X selectors are meant for > devices and we try to avoid having config-devices.mak in > config-target.h.
...but some things in target/ are devices (like the Arm CPUs, which inherit from TYPE_DEVICE). Is there a way we can have a Kconfig fragment that expresses "if you asked for an Arm CPU then this should 'select SEMIHOSTING'" ? thanks -- PMM
