Re: C++ Guide for RTEMS Tools?

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 something existing. The Google C++ Style doesn't seem to be compl

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

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 formal verification techniques can help. We will not "formally prove" all of RTE

Re: C++ Guide for RTEMS Tools?

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 up something existing. The Google C++ Style doesn't seem t

Re: addr2line for RTEMS Tools C++ Program?

On 28/08/2019 03:38, Chris Johns wrote: On 28/8/19 4:12 am, Sebastian Huber wrote: has someone a hint for me how I can use an addr2line functionality in a C++ program for the RTEMS tools (the stupid solution would be to use the addr2line program via a child process)? I would like to map addres

Re: C++ Guide for RTEMS Tools?

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 > up something existing. The Google C++ Style doesn't seem to be completely > stupid and it is s

Re: addr2line for RTEMS Tools C++ Program?

On 28/8/19 4:12 am, Sebastian Huber wrote: > has someone a hint for me how I can use an addr2line functionality in a C++ > program for the RTEMS tools (the stupid solution would be to use the > addr2line program via a child process)? I would like to map addresses from > trace data to a source/li

Re: LibBSD is not linking for the BBB BSP

On Wed, Aug 28, 2019 at 1:42 AM Christian Mauderer wrote: > On 27/08/2019 21:43, Vijay Kumar Banerjee wrote: > > Hello, > > > > I have sent a patch that fixes this issue: > > https://lists.rtems.org/pipermail/devel/2019-August/027540.html > > > > Please try it with this patch. > > > > Christian:

Re: LibBSD is not linking for the BBB BSP

On 27/08/2019 21:43, Vijay Kumar Banerjee wrote: > Hello, > > I have sent a patch that fixes this issue: > https://lists.rtems.org/pipermail/devel/2019-August/027540.html > > Please try it with this patch. > > Christian: I have tested it with the sample app on BBB, can you please > review it? :)

Re: LibBSD is not linking for the BBB BSP

Hello, I have sent a patch that fixes this issue: https://lists.rtems.org/pipermail/devel/2019-August/027540.html Please try it with this patch. Christian: I have tested it with the sample app on BBB, can you please review it? :) Best regards > ___ d

[PATCH] rtemsbsd: remove unnecessary declarations from nexus-devices

--- rtemsbsd/include/bsp/nexus-devices.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/rtemsbsd/include/bsp/nexus-devices.h b/rtemsbsd/include/bsp/nexus-devices.h index e9da3be1..ac9afbce 100644 --- a/rtemsbsd/include/bsp/nexus-devices.h +++ b/rtemsbsd/include/bsp/nexus-devices.h @@ -70,8

addr2line for RTEMS Tools C++ Program?

Hello, has someone a hint for me how I can use an addr2line functionality in a C++ program for the RTEMS tools (the stupid solution would be to use the addr2line program via a child process)? I would like to map addresses from trace data to a source/line information together with the ELF file.

C++ Guide for RTEMS Tools?

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 something existing. The Google C++ Style doesn't seem to be completely stupid and it is supported out of the box by clang-format. So

Add chapter for newib build in RTEMS Docs

Hello, As RTEMS is using "Newlib" as its C library, sometimes RTEMS developers need to contribute codes directly to it. For example in my GSoC Project, I have to port various headers to Newlib. This requires building Newlib on local system, making changes, using right autoconf-tools version, creat

Formal Verification within the ESA funded RTEMS-SMP qualification activity

Dear RTEMS developers, qualifiers, I am involved with the ESA funded RTEMS (SMP) qualification activity, and I, with colleagues, will be exploring how formal verification techniques can help. We will not "formally prove" all of RTEMS, but will focus on critical parts of the code, particularly t

Re: GSoC 2019 : POSIX Complaince - Fenv methods not returning expected outputs.

Hello, Since this fenv environment is not working as expected, The testsuite I made in Linux environment is yet to be ported to RTEMS. Vaibhav Gupta On Thu, Aug 15, 2019 at 3:26 PM Vaibhav Gupta wrote: > Hello, > In yesterday's weekly meeting I mentioned about fenv problems I faced while > deve

Re: LibBSD is not linking for the BBB BSP

On Tue, Aug 27, 2019 at 11:59 AM Chris Johns wrote: > Hi, > > Libcurl is not building for the BBB using HEAD on master. The config.log > fragment with the failure is below. It looks like something to do with the > frame > buffer changes ... `_bsd_fb_fb_modmodule_sys_init` ? > > Thanks > Chris

GSoC Evaluations Due (Mentors)

Hi It has been a very productive summer. Already it is the time for the final evaluations. Please get them done ASAP. The deadline is September 2 but it would be nice to get them done earlier. Thanks. --joel ___ devel mailing list devel@rtems.org http:

Re: LibBSD is not linking for the BBB BSP

On Tue, Aug 27, 2019 at 6:06 PM Vijay Kumar Banerjee < vijaykumar9...@gmail.com> wrote: > > > On Tue, Aug 27, 2019 at 11:59 AM Chris Johns wrote: > >> Hi, >> >> Libcurl is not building for the BBB using HEAD on master. The config.log >> fragment with the failure is below. It looks like something

[PATCH] riscv: add freedom E310 Arty A7 bsp

Update #3785. Signed-off-by: Pragnesh Patel --- bsps/include/bsp/fatal.h | 6 +- bsps/riscv/frdme310arty/btimer/btimer.c| 108 ++ bsps/riscv/frdme310arty/clock/clockdrv.c | 266 +++ bsps/riscv/frdme310arty/config/frdme310arty.cfg

Re: LibBSD is not linking for the BBB BSP

On Tue, Aug 27, 2019 at 11:59 AM Chris Johns wrote: > Hi, > > Libcurl is not building for the BBB using HEAD on master. The config.log > fragment with the failure is below. It looks like something to do with the > frame > buffer changes ... `_bsd_fb_fb_modmodule_sys_init` ? > > Hi Chris, Can you

Re: LibBSD 5-freebsd12 branch is not linking for the BBB BSP

On 27/8/19 6:40 pm, Chris Johns wrote: > On 27/8/19 6:36 pm, Sebastian Huber wrote: >> I temporarily removed the -Wl,--gc-sections from the libbsd build and >> disabled >> all unused functions which pull in unresolved references. I hope this fixes >> your >> build problem. >> > > Awesome and tha

Re: [PATCH] 5: Update RTEMS tools

On 27/08/2019 13:43, Chris Johns wrote: The only difference between this patch and mine is the checksum is the smaller base64 version of it. Yes, it doesn't matter to me how the hash is encoded. -- Sebastian Huber, embedded brains GmbH Address : Dornierstr. 4, D-82178 Puchheim, Germany Phone

Re: [PATCH] 5: Update RTEMS tools

Hi, The only difference between this patch and mine is the checksum is the smaller base64 version of it. Chris On 27/8/19 5:21 pm, Sebastian Huber wrote: > This picks up the new rtems-record-lttng tool. > --- > rtems/config/tools/rtems-tools-5-1.cfg | 4 ++-- > 1 file changed, 2 insertions(+),

[PATCH 5/5] 5/libbsd: Update to the head of master

From: Chris Johns --- rtems/config/tools/rtems-libbsd-5.cfg | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rtems/config/tools/rtems-libbsd-5.cfg b/rtems/config/tools/rtems-libbsd-5.cfg index 8f0141b..d6157d1 100644 --- a/rtems/config/tools/rtems-libbsd-5.cfg +++ b/rtems

[PATCH 2/5] sb: Send only one mail when building a BSP

From: Chris Johns - Add support to email a single report if configured to do so. --- rtems/config/5/bsps/beagleboneblack.bset | 2 + source-builder/sb/setbuilder.py | 114 ++- 2 files changed, 70 insertions(+), 46 deletions(-) diff --git a/rtems/config/5/bsps/beag

[PATCH 3/5] 5/tools: Update to the head of master

From: Chris Johns --- rtems/config/tools/rtems-tools-5-1.cfg | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rtems/config/tools/rtems-tools-5-1.cfg b/rtems/config/tools/rtems-tools-5-1.cfg index 47a865e..aed3f6a 100644 --- a/rtems/config/tools/rtems-tools-5-1.cfg +++ b/r

[PATCH 1/5] sb/download: Add support for a base64 hash string

From: Chris Johns --- source-builder/sb/download.py | 10 -- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/source-builder/sb/download.py b/source-builder/sb/download.py index d8061e6..1fb0155 100644 --- a/source-builder/sb/download.py +++ b/source-builder/sb/download.py @

[PATCH 4/5] 5/kernel: Update to the head of master

From: Chris Johns --- rtems/config/tools/rtems-kernel-5.cfg | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rtems/config/tools/rtems-kernel-5.cfg b/rtems/config/tools/rtems-kernel-5.cfg index fe538b8..bf2ec9a 100644 --- a/rtems/config/tools/rtems-kernel-5.cfg +++ b/rtems

Re: LibBSD 5-freebsd12 branch is not linking for the BBB BSP

On 27/8/19 6:36 pm, Sebastian Huber wrote: > On 27/08/2019 09:07, Chris Johns wrote: >> configure:19546: arm-rtems5-gcc -o conftest -qrtems >> -B/opt/work/chris/rtems/rsb/rtems-source-builder.git/rtems/build/tmp/sb-chris-staging/arm-rtems5/lib/ >> >> -B/opt/work/chris/rtems/rsb/rtems-source-builder

Re: LibBSD 5-freebsd12 branch is not linking for the BBB BSP

On 27/08/2019 09:07, Chris Johns wrote: configure:19546: arm-rtems5-gcc -o conftest -qrtems -B/opt/work/chris/rtems/rsb/rtems-source-builder.git/rtems/build/tmp/sb-chris-staging/arm-rtems5/lib/ -B/opt/work/chris/rtems/rsb/rtems-source-builder.git/rtems/build/tmp/sb-chris-staging/arm-rtems5/beagle

Re: LTTng sched_switch documentation patch.

> On 27 Aug 2019, at 5:16 pm, Sebastian Huber > wrote: > >> On 27/08/2019 02:43, Chris Johns wrote: >>> On 26/8/19 8:16 pm, Ravindra Kumar Meena wrote: >> Step 5: >> Maybe it would be good to present more detail on what is needed to install >> Trace >> Compass. This could be in the Trace Comp

[PATCH] 5: Update RTEMS tools

This picks up the new rtems-record-lttng tool. --- rtems/config/tools/rtems-tools-5-1.cfg | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rtems/config/tools/rtems-tools-5-1.cfg b/rtems/config/tools/rtems-tools-5-1.cfg index 47a865e..733c53d 100644 --- a/rtems/config/tools/

Re: LTTng sched_switch documentation patch.

On 27/08/2019 02:43, Chris Johns wrote: On 26/8/19 8:16 pm, Ravindra Kumar Meena wrote: Hello Chris and Sebastian, I have attached the updated LTTng sched_switch documentation patch(v4). This one is a whole single patch. *What changed v3 to v4:* Sebastian's patch for rtems-libbsd patch got mer

LibBSD 5-freebsd12 branch is not linking for the BBB BSP

Hi, Attempting to use the 5-freebsd12 branch shows the previous issue I found related to atomics has been resolved. Sebastian, thank you. However there is another issue detailed in the config.log below. This is built with the latest tools and RTEMS kernel. Thanks Chris configure:19542: result: