On Thu, 3 Aug 2023 at 20:43, Felix Kuehling <felix.kuehling@xxxxxxx> wrote: > > Is your kernel configured without dynamic debugging? Maybe we need to > wrap this in some #if defined(CONFIG_DYNAMIC_DEBUG_CORE). > Apologies, I thought I'd replied to this, yes I didn't have dynamic debugging enabled
