Re: [PATCH v2 00/13] Support gcov instrumentation

OK Thanks Chris On 1/7/2022 9:49 pm, Sebastian Huber wrote: > This patch set adds support to build the RTEMS libraries with gcov > instrumentation to get code and branch coverage. There are some improvements > necessary in the build system to support different compiler flags for > libraries >

Re: [PATCH v2] irq/arm-gicv3.h: Customize ICC_IGRPEN0/1 init

On 1/7/2022 11:21 pm, Sebastian Huber wrote: > Use the existing WRITE_SR() abstraction to access the interrupt group 0 and 1 > enable registers. This fixes the build for the AArch32 target. > --- > bsps/include/dev/irq/arm-gicv3.h | 30 --- >

Re: [PATCH] samples/cdtest: Test execeptions during system init

OK Thanks Chris On 1/7/2022 8:02 pm, Sebastian Huber wrote: > Update #4668. > Update #4672. > --- > testsuites/samples/cdtest/main.cc | 44 --- > 1 file changed, 35 insertions(+), 9 deletions(-) > > diff --git a/testsuites/samples/cdtest/main.cc >

Re: Integrating the Formal Methods part of Qualification

On 2/7/2022 12:59 am, Andrew Butterfield wrote: > On 1 Jul 2022, at 00:59, Chris Johns > wrote: >> >> On 28/6/2022 11:09 pm, andrew.butterfi...@scss.tcd.ie >> wrote: >>> Dear RTEMS Developers, >>> >>> While the validation tests from