Re: [PATCH] Document CONFIGURE_RECORD_INTERRUPTS_ENABLED

2022-12-01 Thread Chris Johns
Looks good. Thanks Chris On 1/12/2022 11:11 pm, Sebastian Huber wrote: > Close #4769. > --- > c-user/config/event-record.rst | 43 +- > user/tracing/eventrecording.rst | 65 +++-- > 2 files changed, 47 insertions(+), 61 deletions(-) > > diff

[PATCH] Document CONFIGURE_RECORD_INTERRUPTS_ENABLED

2022-12-01 Thread Sebastian Huber
Close #4769. --- c-user/config/event-record.rst | 43 +- user/tracing/eventrecording.rst | 65 +++-- 2 files changed, 47 insertions(+), 61 deletions(-) diff --git a/c-user/config/event-record.rst b/c-user/config/event-record.rst index