Rob Walton

I've just followed the repro steps and I ended up with the following in my `mbed_config.cmake` ``` 141 "-DMBED_CONF_EVENTS_SHARED_STACKSIZE=2048" 142 "-DMBED_CONF_EVENTS_SHARED_EVENTSIZE=768" 143 "-DMBED_CONF_EVENTS_SHARED_DISPATCH_FROM_APPLICATION=0" 144 "-DMBED_CONF_EVENTS_SHARED_HIGHPRIO_STACKSIZE=1024" 145 "-DMBED_CONF_EVENTS_SHARED_HIGHPRIO_EVENTSIZE=256" 146 "-DMBED_CONF_EVENTS_USE_LOWPOWER_TIMER_TICKER=0" ```...

Thanks for clarifying that it's only with the baremetal example. I think I understand what the problem is now. The issue is because "baremetal" uses the "requires" config field to...

> Thanks @rwalton-arm that fixes it! That's good. We still need to figure out how to avoid duplicating this information, as currently the UX is really poor. I suggest we...