Re: [PATCH] riscv: add freedom E310 Arty A7 bsp

Hello Pragnesh Patel, thanks for your patch. This patch contains a bit of copy and paste which may make the maintenance of the port harder. In general, why can't you add the support to the generic riscv BSP? -- Sebastian Huber, embedded brains GmbH Address : Dornierstr. 4, D-82178 Puchheim,

Re: [PATCH 1/2] score: Add RTEMS_RETURN_ADDRESS()

On 29/8/19 12:05 am, Sebastian Huber wrote: > --- > cpukit/include/rtems/score/basedefs.h | 13 - > testsuites/sptests/spmisc01/init.c| 7 ++- > 2 files changed, 18 insertions(+), 2 deletions(-) > > diff --git a/cpukit/include/rtems/score/basedefs.h > b/cpukit/include/rtems/

Re: Formal Verification within the ESA funded RTEMS-SMP qualification activity

Hi Joel, some quick (off the cuff) responses to your Qs: > > Assuming formal verification benefits from modular decomposition like software > construction and admitting I don't know how you plan to go about this, I would > tend to look at the APIs of interest and then look at what score > objec

[PATCH 1/2] score: Add RTEMS_RETURN_ADDRESS()

--- cpukit/include/rtems/score/basedefs.h | 13 - testsuites/sptests/spmisc01/init.c| 7 ++- 2 files changed, 18 insertions(+), 2 deletions(-) diff --git a/cpukit/include/rtems/score/basedefs.h b/cpukit/include/rtems/score/basedefs.h index 7a36c74e65..782958920c 100644 --- a

[PATCH 2/2] record: Add more system events

Reduce the system dependencies to allow tracing of very low level functions, the interrupt disable/enable. Introduce a general purpose RTEMS_RECORD_STRING event, e.g. for object names. Update #3665. --- cpukit/Makefile.am| 1 + cpukit/include/rtems/record.h

Re: Formal Verification within the ESA funded RTEMS-SMP qualification activity

On Wed, Aug 28, 2019 at 12:50 AM Sebastian Huber wrote: > > Hello Andrew, > > On 27/08/2019 16:58, Andrew Butterfield wrote: > > Dear RTEMS developers, qualifiers, > > > > I am involved with the ESA funded RTEMS (SMP) qualification activity, > > and I, with colleagues, will be exploring how form

[PATCH] rtemsbsd: remove dead code fb.c

--- freebsd/sys/dev/fb/fb.c | 762 --- libbsd.py| 1 - rtemsbsd/include/bsp/nexus-devices.h | 2 - 3 files changed, 765 deletions(-) delete mode 100644 freebsd/sys/dev/fb/fb.c diff --git a/freebsd/sys/dev/fb/fb.c b/freebsd/sys/

Re: C++ Guide for RTEMS Tools?

On 28/8/19 3:34 pm, Sebastian Huber wrote: > On 28/08/2019 04:40, Chris Johns wrote: >> On 28/8/19 4:08 am, Sebastian Huber wrote: >>> since C++ and Python seems to be the preferred languages for RTEMS Tools I >>> think we need also a C++ guide. I would not re-invent the wheel and just >>> pick >>

Re: C++ Guide for RTEMS Tools?

On 28/8/19 4:05 pm, Jonathan Brandmeyer wrote: > On Tue, Aug 27, 2019 at 12:08 PM Sebastian Huber > wrote: >> >> Hello, >> >> since C++ and Python seems to be the preferred languages for RTEMS Tools I >> think we need also a C++ guide. I would not re-invent the wheel and just >> pick up somethin