Re: [RSB 1/3] 6/7: Update Newlib

On 09.10.23 23:52, Chris Johns wrote: Ok to all patches in the series. Thanks for newlib changes for ARM, they will be nice to use. I have to fix the riscv issue before we can update Newlib. -- embedded brains GmbH Herr Sebastian HUBER Dornierstr. 4 82178 Puchheim Germany email:

Re: [RSB 1/3] 6/7: Update Newlib

On 10.10.23 01:28, Joel Sherrill wrote: What caused all the recently posted tool build failures? One issue was that I forgot to remove the 0001-aarch64-Add-ILP32-ABI-support-in-assembly-v2.patch patch. Another issue is that I have trouble to build the dtc: make: *** No rule to make target

Re: [RSB 1/3] 6/7: Update Newlib

What caused all the recently posted tool build failures? On Mon, Oct 9, 2023, 4:52 PM Chris Johns wrote: > Ok to all patches in the series. Thanks for newlib changes for ARM, they > will be > nice to use. > > Chris > > On 10/10/2023 3:58 am, Sebastian Huber wrote: > > Pick up latest changes

Re: [RSB 1/3] 6/7: Update Newlib

Ok to all patches in the series. Thanks for newlib changes for ARM, they will be nice to use. Chris On 10/10/2023 3:58 am, Sebastian Huber wrote: > Pick up latest changes from ARM/optimized-routines. > > Close 4510. > --- > rtems/config/tools/rtems-gcc-10-newlib-head.cfg | 4 ++-- >

[RSB 1/3] 6/7: Update Newlib

Pick up latest changes from ARM/optimized-routines. Close 4510. --- rtems/config/tools/rtems-gcc-10-newlib-head.cfg | 4 ++-- rtems/config/tools/rtems-gcc-10.4-newlib-head.cfg | 4 ++-- rtems/config/tools/rtems-gcc-12-newlib-head.cfg | 4 ++-- rtems/config/tools/rtems-gcc-13-newlib-head.cfg

[RSB 3/3] 7: Update Binutils, GDB, and GCC

Keep RTEMS up to date with the upstream development. --- rtems/config/tools/rtems-binutils-head.cfg| 4 ++-- rtems/config/tools/rtems-gcc-head-newlib-head.cfg | 4 ++-- rtems/config/tools/rtems-gdb-head.cfg | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git

[RSB 2/3] 6: Update GCC 10, 12 and 13

Keep RTEMS up to date with the upstream development. --- rtems/config/tools/rtems-gcc-12-newlib-head.cfg | 4 ++-- rtems/config/tools/rtems-gcc-13-newlib-head.cfg | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/rtems/config/tools/rtems-gcc-12-newlib-head.cfg

Re: Add Formal Verification chapter v4

Eliding some stuff >On 05/10/2023, 16:02, "Gedare Bloom" mailto:ged...@rtems.org>> wrote: >>On Fri, Sep 22, 2023 at 4:50 AM andrew.butterfi...@scss.tcd.ie >> wrote: >>On 21/09/2023, 16:42, "Sebastian Huber" wrote: >>>On 21.09.23 17:41, Gedare Bloom