On Thu, 3 Aug 2023 at 20:43, Felix Kuehling <[email protected]> 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
