Re: ADA, gnat, rtems 6, ubuntu 22LTS

2023-10-05 Thread Frank Kühndel
Hello Emanuel, I cannot say anything about your specific issue. I can just provide this information: Our CI/CD builds rtems-tools with ADA on Ubuntu 22.04 for RSB, Git commit 35c73203df1e0bc7f0935cfb37ebc6581d8f1103 for aarch64, arm, bfin, i386, m68k, mips, moxie, nios2, or1k, powerpc, riskv

[PATCH] Avoid StopIteration exception for non-rtems .pc

2023-10-05 Thread Martin Erik Werner
_arch_from_arch_bsp() and _bsp_from_arch_bsp() has overly optimistic assumptions that the argument must contain a '-'-separated field which starts with "rtems". These functions are intended to find the target triplet or the bsp parts of strings like "sparc-gaisler-rtems5-leon3" and "arm-rtems6-xili

Re: [PATCH] Avoid StopIteration exception for non-rtems .pc

2023-10-05 Thread Frank Kühndel
Hello Martin, thanks for the fix. Your patch works for me. I tried with $ ./waf configure --rtems=/opt/rtems/6 --rtems-bsp=arm/xilinx_zynq_a9_qemu $ ./waf $ env QEMU_AUDIO_DRV="none" qemu-system-arm -no-reboot -net none -m 256M -serial null -serial mon:stdio -nographic -M xilinx

Re: [PATCH] Avoid StopIteration exception for non-rtems .pc

2023-10-05 Thread Gedare Bloom
LGTM On Thu, Oct 5, 2023 at 7:40 AM Martin Erik Werner wrote: > > _arch_from_arch_bsp() and _bsp_from_arch_bsp() has overly optimistic > assumptions that the argument must contain a '-'-separated field which > starts with "rtems". These functions are intended to find the target > triplet or the b

Re: [net-legacy PATCH] tests: Add header for RTEMS test printer

2023-10-05 Thread Gedare Bloom
OK On Wed, Oct 4, 2023 at 4:13 PM wrote: > > From: Chris Johns > > --- > libtest/testbeginend.c | 1 + > libtest/testwrappers.c | 1 + > testsuites/loopback/init.c | 1 + > testsuites/pppd/init.c | 4 +++- > 4 files changed, 6 insertions(+), 1 deletion(-) > > diff --git a/libtest/te

Re: Add Formal Verification chapter v4

2023-10-05 Thread Gedare Bloom
On Fri, Sep 22, 2023 at 4:50 AM andrew.butterfi...@scss.tcd.ie wrote: > > > > > Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 > Lero@TCD, Head of Software Foundations & Verification Research Group > School of Compu

[PATCH rtems-docs] user/exe: Add MicroBlaze to Dynamic Loader architecture list

2023-10-05 Thread Alex White
--- user/exe/loader.rst | 1 + 1 file changed, 1 insertion(+) diff --git a/user/exe/loader.rst b/user/exe/loader.rst index be2e78e..fdc54a8 100644 --- a/user/exe/loader.rst +++ b/user/exe/loader.rst @@ -844,6 +844,7 @@ The following architectures are supported: - Intel x86 (i386) - LM32 - M

Re: [PATCH] Avoid StopIteration exception for non-rtems .pc

2023-10-05 Thread Chris Johns
Hi Martin, Thanks for posting the patch. I have pushed it. I have pushed an update after running the change through yapf. I forgot to do that before pushing. I will also add a new function to the rtems module as a separate patch: +def arch_bsp(ctx): +""" Return the list of arch/bsps we are b

External document links (was Re: Add Formal Verification chapter v4)

2023-10-05 Thread Chris Johns
On 6/10/2023 1:02 am, Gedare Bloom wrote: > On Fri, Sep 22, 2023 at 4:50 AM andrew.butterfi...@scss.tcd.ie > wrote: >> Also, I'm not sure the best way to refer to a sub-section of another document >> I used something like (See Host Tools in the RTEMS User Manual) >> I guessed the URL might be less

Re: [PATCH rtems-docs] user/exe: Add MicroBlaze to Dynamic Loader architecture list

2023-10-05 Thread Chris Johns
OK Chris On 6/10/2023 5:40 am, Alex White wrote: > --- > user/exe/loader.rst | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/user/exe/loader.rst b/user/exe/loader.rst > index be2e78e..fdc54a8 100644 > --- a/user/exe/loader.rst > +++ b/user/exe/loader.rst > @@ -844,6 +844,7 @@ The follo