Re: Add Formal Verification chapter v4

2023-10-09 Thread andrew.butterfi...@scss.tcd.ie 
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 wrote:
 On Thu, Sep 21, 2023 at 9:36 AM Sebastian Huber
 I don't recall any documentation that discusses simulator targets 
 specifically.
>>Yes, we should not duplicate this documentation. This is not maintainable.
>>>I can remove all references to `sis` from the documentation and point to 
>>>tester.html
>>>However note that the python sources for all of this, in 
>>>rtems-central/formal/promela/src
>>>we have explicit references in testbuilder-template.yml to `simulator: 
>>>/sparc-rtems6-sis`
>>>I guess that needs to be changed
>> I've referred to the RTEMS Tester, (replacing `sis`),
>> and also just noted that the default template for testbuilder refers to `sis`
>> 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 robust
>Yes this is basically correct. We don't want explicit links between
>documents. It's a bit challenging at the moment to validate
>cross-document references and we don't have a great solution or
>standard approach for how to do it.

Is it now worthwhile my preparing a v5 set of patches for committing into 
rtems-docs master,
Or are there more edits that need doing?

Rergards, Andrew




___
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel

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

2023-10-09 Thread Sebastian Huber 
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 a/rtems/config/tools/rtems-binutils-head.cfg 
b/rtems/config/tools/rtems-binutils-head.cfg
index c5773f4..32468f9 100644
--- a/rtems/config/tools/rtems-binutils-head.cfg
+++ b/rtems/config/tools/rtems-binutils-head.cfg
@@ -1,12 +1,12 @@
 %include %{_configdir}/checks.cfg
 %include %{_configdir}/base.cfg
 
-%define binutils_version 22e69d8
+%define binutils_version 4503c19
 %define binutils_external 1
 %define binutils_expand_name sourceware-mirror-binutils-gdb-%{binutils_version}
 %source set binutils --rsb-file=%{binutils_expand_name}.tar.gz 
https://codeload.github.com/RTEMS/sourceware-mirror-binutils-gdb/tar.gz/%{binutils_version}
 %hash sha512 %{binutils_expand_name}.tar.gz \
-  
wIltd0cHsnI+OOYDMKpy9uie9tfBcXgaaGdee75p2aw+xIGEFatAz4LRh4cHYGDtY+9DQeq16d+kcLXCR0m8Pg==
+  
kGQNTaSTcg8JBryp/eEL6RTnDGDDpGmyqMuOVSMKtqkkbuT+u7zJwI0SORUBLhL0Koly4fPoQJikx4JDVved2w==
 
 %define with_deterministic_archives 1
 %define with_64_bit_bfd 1
diff --git a/rtems/config/tools/rtems-gcc-head-newlib-head.cfg 
b/rtems/config/tools/rtems-gcc-head-newlib-head.cfg
index 8499568..6b7212e 100644
--- a/rtems/config/tools/rtems-gcc-head-newlib-head.cfg
+++ b/rtems/config/tools/rtems-gcc-head-newlib-head.cfg
@@ -1,12 +1,12 @@
 %include %{_configdir}/checks.cfg
 %include %{_configdir}/base.cfg
 
-%define gcc_version 4b8878f
+%define gcc_version 86d92c8
 %define gcc_external 1
 %define gcc_expand_name gnu-mirror-gcc-%{gcc_version}
 %source set gcc --rsb-file=%{gcc_expand_name}.tar.gz 
https://codeload.github.com/RTEMS/gnu-mirror-gcc/tar.gz/%{gcc_version}
 %hash sha512 %{gcc_expand_name}.tar.gz \
-  
f5WirlDNok+Gz/0HWrXpwZGJLFPHxcCGEEDLrJI6WxC8V+No4Z+hrorzpRjNGYgnMv175xXJFoIRXoaENhVoJQ==
+  
t+/hcYIVBEMeJqSeZxTLdVFRH0VFnLVlXFcsBUCmCZjA36BQ948zGSxeXjGsuHtRGK/GguOEWhzC5MpCR2umbA==
 
 %define newlib_version fe5886a
 %define newlib_external 1
diff --git a/rtems/config/tools/rtems-gdb-head.cfg 
b/rtems/config/tools/rtems-gdb-head.cfg
index 661c2ba..d399006 100644
--- a/rtems/config/tools/rtems-gdb-head.cfg
+++ b/rtems/config/tools/rtems-gdb-head.cfg
@@ -1,11 +1,11 @@
 %include %{_configdir}/checks.cfg
 %include %{_configdir}/base.cfg
 
-%define gdb_version 22e69d8
+%define gdb_version 4503c19
 %define gdb_external 1
 %define gdb_expand_name sourceware-mirror-binutils-gdb-%{gdb_version}
 %source set gdb --rsb-file=%{gdb_expand_name}.tar.gz 
https://codeload.github.com/RTEMS/sourceware-mirror-binutils-gdb/tar.gz/%{gdb_version}
 %hash sha512 %{gdb_expand_name}.tar.gz \
-  
wIltd0cHsnI+OOYDMKpy9uie9tfBcXgaaGdee75p2aw+xIGEFatAz4LRh4cHYGDtY+9DQeq16d+kcLXCR0m8Pg==
+  
kGQNTaSTcg8JBryp/eEL6RTnDGDDpGmyqMuOVSMKtqkkbuT+u7zJwI0SORUBLhL0Koly4fPoQJikx4JDVved2w==
 
 %include %{_configdir}/gdb-8-1.cfg
-- 
2.35.3

___
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel

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

2023-10-09 Thread Sebastian Huber 
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   | 4 ++--
 rtems/config/tools/rtems-gcc-head-newlib-head.cfg | 4 ++--
 5 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/rtems/config/tools/rtems-gcc-10-newlib-head.cfg 
b/rtems/config/tools/rtems-gcc-10-newlib-head.cfg
index 1cbb301..06524d4 100644
--- a/rtems/config/tools/rtems-gcc-10-newlib-head.cfg
+++ b/rtems/config/tools/rtems-gcc-10-newlib-head.cfg
@@ -17,12 +17,12 @@
 %patch add newlib -p1 
https://devel.rtems.org/raw-attachment/ticket/4510/0001-aarch64-Add-ILP32-ABI-support-in-assembly-v2.patch
 %hash sha512 0001-aarch64-Add-ILP32-ABI-support-in-assembly-v2.patch 
7ca237eabfd5b382713186e1fc290dfc999a353315795ecb8dd0d22fcd1ab7f5bf31f4329954adab91ad04c100dcac0e86d406fdbce8f82cf9dc23842c88caf6
 
-%define newlib_version a021448
+%define newlib_version fe5886a
 %define newlib_external 1
 %define newlib_expand_name sourceware-mirror-newlib-cygwin-%{newlib_version}
 %source set newlib --rsb-file=newlib-%{newlib_version}.tar.gz 
https://codeload.github.com/RTEMS/sourceware-mirror-newlib-cygwin/tar.gz/%{newlib_version}
 %hash sha512 newlib-%{newlib_version}.tar.gz \
-  
YiC/BsmRpq8XsN1hx4s2Rvcwys/4DRFB3F6vvd+lEMJWXXpt3knXT4BBZkP11bkEcpDFCV9EaOlTT3HA7C3pCg==
+  
w7yxW6iO3ademyF5TTj0pe9zt6WCsYa46+MOY/Rter2loQjJDEnj2AE0YxUhV4fGG+mE/Df3igJH3rzuQYeXwQ==
 
 %define with_threads 1
 %define with_plugin 0
diff --git a/rtems/config/tools/rtems-gcc-10.4-newlib-head.cfg 
b/rtems/config/tools/rtems-gcc-10.4-newlib-head.cfg
index 99e2a21..e457b75 100644
--- a/rtems/config/tools/rtems-gcc-10.4-newlib-head.cfg
+++ b/rtems/config/tools/rtems-gcc-10.4-newlib-head.cfg
@@ -20,12 +20,12 @@
 %patch add newlib -p1 
https://devel.rtems.org/raw-attachment/ticket/4510/0001-aarch64-Add-ILP32-ABI-support-in-assembly-v2.patch
 %hash sha512 0001-aarch64-Add-ILP32-ABI-support-in-assembly-v2.patch 
7ca237eabfd5b382713186e1fc290dfc999a353315795ecb8dd0d22fcd1ab7f5bf31f4329954adab91ad04c100dcac0e86d406fdbce8f82cf9dc23842c88caf6
 
-%define newlib_version a021448
+%define newlib_version fe5886a
 %define newlib_external 1
 %define newlib_expand_name sourceware-mirror-newlib-cygwin-%{newlib_version}
 %source set newlib --rsb-file=newlib-%{newlib_version}.tar.gz 
https://codeload.github.com/RTEMS/sourceware-mirror-newlib-cygwin/tar.gz/%{newlib_version}
 %hash sha512 newlib-%{newlib_version}.tar.gz \
-  
YiC/BsmRpq8XsN1hx4s2Rvcwys/4DRFB3F6vvd+lEMJWXXpt3knXT4BBZkP11bkEcpDFCV9EaOlTT3HA7C3pCg==
+  
w7yxW6iO3ademyF5TTj0pe9zt6WCsYa46+MOY/Rter2loQjJDEnj2AE0YxUhV4fGG+mE/Df3igJH3rzuQYeXwQ==
 
 %define with_threads 1
 %define with_plugin 0
diff --git a/rtems/config/tools/rtems-gcc-12-newlib-head.cfg 
b/rtems/config/tools/rtems-gcc-12-newlib-head.cfg
index 04616eb..75dfcb2 100644
--- a/rtems/config/tools/rtems-gcc-12-newlib-head.cfg
+++ b/rtems/config/tools/rtems-gcc-12-newlib-head.cfg
@@ -38,13 +38,13 @@
 
KEmxHjYOqY4LTXCMZ3I60tbHusbR5GlnP0CLARHPAnhCnovDj9K3U43C1bsMxDDGRqD6fwtrEFoEgqVFX63IuQ==
 # Comment above related to #4657 and patches ends here
 
-%define newlib_version a021448
+%define newlib_version fe5886a
 %define newlib_external 1
 %define newlib_expand_name sourceware-mirror-newlib-cygwin-%{newlib_version}
 %source set newlib --rsb-file=newlib-%{newlib_version}.tar.gz \

https://codeload.github.com/RTEMS/sourceware-mirror-newlib-cygwin/tar.gz/%{newlib_version}
 %hash sha512 newlib-%{newlib_version}.tar.gz \
-  
YiC/BsmRpq8XsN1hx4s2Rvcwys/4DRFB3F6vvd+lEMJWXXpt3knXT4BBZkP11bkEcpDFCV9EaOlTT3HA7C3pCg==
+  
w7yxW6iO3ademyF5TTj0pe9zt6WCsYa46+MOY/Rter2loQjJDEnj2AE0YxUhV4fGG+mE/Df3igJH3rzuQYeXwQ==
 
 %define with_threads 1
 %define with_plugin 0
diff --git a/rtems/config/tools/rtems-gcc-13-newlib-head.cfg 
b/rtems/config/tools/rtems-gcc-13-newlib-head.cfg
index 03b99da..7f7e3e2 100644
--- a/rtems/config/tools/rtems-gcc-13-newlib-head.cfg
+++ b/rtems/config/tools/rtems-gcc-13-newlib-head.cfg
@@ -8,12 +8,12 @@
 %hash sha512 %{gcc_expand_name}.tar.gz \
   
7uw8yZWdjboqa1k1KPJTsOutVN66EEdrQ+ylaxZCFIwOihRUrct1loZ2Y3LXCYPG9JFso0i+22XEIlx3WMlrTQ==
 
-%define newlib_version a021448
+%define newlib_version fe5886a
 %define newlib_external 1
 %define newlib_expand_name sourceware-mirror-newlib-cygwin-%{newlib_version}
 %source set newlib --rsb-file=newlib-%{newlib_version}.tar.gz 
https://codeload.github.com/RTEMS/sourceware-mirror-newlib-cygwin/tar.gz/%{newlib_version}
 %hash sha512 newlib-%{newlib_version}.tar.gz \
-  
YiC/BsmRpq8XsN1hx4s2Rvcwys/4DRFB3F6vvd+lEMJWXXpt3knXT4BBZkP11bkEcpDFCV9EaOlTT3HA7C3pCg==
+  
w7yxW6iO3ademyF5TTj0pe9zt6WCsYa46+MOY/Rter2loQjJDEnj2AE0YxUhV4fGG+mE/Df3igJH3rzuQYeXwQ==
 
 %patch add newlib -p1 
https://devel.rtems.org/raw-attachment/ticket/4510/0001-aarch64-Add-ILP32-ABI-support-in-assembly-v2.patch

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

2023-10-09 Thread Sebastian Huber 
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 
b/rtems/config/tools/rtems-gcc-12-newlib-head.cfg
index 75dfcb2..8f3e297 100644
--- a/rtems/config/tools/rtems-gcc-12-newlib-head.cfg
+++ b/rtems/config/tools/rtems-gcc-12-newlib-head.cfg
@@ -1,12 +1,12 @@
 %include %{_configdir}/checks.cfg
 %include %{_configdir}/base.cfg
 
-%define gcc_version 506cb58
+%define gcc_version 04a8aca
 %define gcc_external 1
 %define gcc_expand_name gnu-mirror-gcc-%{gcc_version}
 %source set gcc --rsb-file=%{gcc_expand_name}.tar.gz 
https://codeload.github.com/RTEMS/gnu-mirror-gcc/tar.gz/%{gcc_version}
 %hash sha512 %{gcc_expand_name}.tar.gz \
-  
sqGWUDNSJ9ra3nd+XO0a9aUEqYIPUApLv1h7XTQQ4DxHKX2XR/iLGY0PwmwLcyjOPw1tF6OAoPT0/ymDjjTq9w==
+  
63yyozw8YtDuIvwl3PMoRwshF8ubIx6rDahruf46OL6Me9GxJTTQ438I44S1rYoiePjE4ByUhJ48jUHa7b48dA==
 
 %patch add gcc -p1 
https://devel.rtems.org/raw-attachment/ticket/4196/0001-Back-port-v1-of-gcov-tool-merge-stream-to-GCC-12.patch
 %hash sha512 0001-Back-port-v1-of-gcov-tool-merge-stream-to-GCC-12.patch \
diff --git a/rtems/config/tools/rtems-gcc-13-newlib-head.cfg 
b/rtems/config/tools/rtems-gcc-13-newlib-head.cfg
index 7f7e3e2..a1e3ee9 100644
--- a/rtems/config/tools/rtems-gcc-13-newlib-head.cfg
+++ b/rtems/config/tools/rtems-gcc-13-newlib-head.cfg
@@ -1,12 +1,12 @@
 %include %{_configdir}/checks.cfg
 %include %{_configdir}/base.cfg
 
-%define gcc_version 9aac37a
+%define gcc_version 452a69c
 %define gcc_external 1
 %define gcc_expand_name gnu-mirror-gcc-%{gcc_version}
 %source set gcc --rsb-file=%{gcc_expand_name}.tar.gz 
https://codeload.github.com/RTEMS/gnu-mirror-gcc/tar.gz/%{gcc_version}
 %hash sha512 %{gcc_expand_name}.tar.gz \
-  
7uw8yZWdjboqa1k1KPJTsOutVN66EEdrQ+ylaxZCFIwOihRUrct1loZ2Y3LXCYPG9JFso0i+22XEIlx3WMlrTQ==
+  
0e9/XKGurXTNqwP9ymmqh9IMthlpWlZMqQAcps7CSGycMFKMaFHE1/cKHEX820pHR4DxlTRHHYz39XxycfZEFQ==
 
 %define newlib_version fe5886a
 %define newlib_external 1
-- 
2.35.3

___
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel

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

2023-10-09 Thread Sebastian Huber 

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 'convert-dtsv0-lexer.l', needed by 
'convert-dtsv0-lexer.lex.c'.  Stop.


Another issue is that the riscv Newlib is broken since July.

--
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.hu...@embedded-brains.de
phone: +49-89-18 94 741 - 16
fax:   +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/
___
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel

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

2023-10-09 Thread Joel Sherrill 
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 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   | 4 ++--
> >  rtems/config/tools/rtems-gcc-head-newlib-head.cfg | 4 ++--
> >  5 files changed, 10 insertions(+), 10 deletions(-)
> >
> > diff --git a/rtems/config/tools/rtems-gcc-10-newlib-head.cfg
> b/rtems/config/tools/rtems-gcc-10-newlib-head.cfg
> > index 1cbb301..06524d4 100644
> > --- a/rtems/config/tools/rtems-gcc-10-newlib-head.cfg
> > +++ b/rtems/config/tools/rtems-gcc-10-newlib-head.cfg
> > @@ -17,12 +17,12 @@
> >  %patch add newlib -p1
> https://devel.rtems.org/raw-attachment/ticket/4510/0001-aarch64-Add-ILP32-ABI-support-in-assembly-v2.patch
> >  %hash sha512 0001-aarch64-Add-ILP32-ABI-support-in-assembly-v2.patch
> 7ca237eabfd5b382713186e1fc290dfc999a353315795ecb8dd0d22fcd1ab7f5bf31f4329954adab91ad04c100dcac0e86d406fdbce8f82cf9dc23842c88caf6
> >
> > -%define newlib_version a021448
> > +%define newlib_version fe5886a
> >  %define newlib_external 1
> >  %define newlib_expand_name
> sourceware-mirror-newlib-cygwin-%{newlib_version}
> >  %source set newlib --rsb-file=newlib-%{newlib_version}.tar.gz
> https://codeload.github.com/RTEMS/sourceware-mirror-newlib-cygwin/tar.gz/%{newlib_version}
> >  %hash sha512 newlib-%{newlib_version}.tar.gz \
> > -
> YiC/BsmRpq8XsN1hx4s2Rvcwys/4DRFB3F6vvd+lEMJWXXpt3knXT4BBZkP11bkEcpDFCV9EaOlTT3HA7C3pCg==
> > +
> w7yxW6iO3ademyF5TTj0pe9zt6WCsYa46+MOY/Rter2loQjJDEnj2AE0YxUhV4fGG+mE/Df3igJH3rzuQYeXwQ==
> >
> >  %define with_threads 1
> >  %define with_plugin 0
> > diff --git a/rtems/config/tools/rtems-gcc-10.4-newlib-head.cfg
> b/rtems/config/tools/rtems-gcc-10.4-newlib-head.cfg
> > index 99e2a21..e457b75 100644
> > --- a/rtems/config/tools/rtems-gcc-10.4-newlib-head.cfg
> > +++ b/rtems/config/tools/rtems-gcc-10.4-newlib-head.cfg
> > @@ -20,12 +20,12 @@
> >  %patch add newlib -p1
> https://devel.rtems.org/raw-attachment/ticket/4510/0001-aarch64-Add-ILP32-ABI-support-in-assembly-v2.patch
> >  %hash sha512 0001-aarch64-Add-ILP32-ABI-support-in-assembly-v2.patch
> 7ca237eabfd5b382713186e1fc290dfc999a353315795ecb8dd0d22fcd1ab7f5bf31f4329954adab91ad04c100dcac0e86d406fdbce8f82cf9dc23842c88caf6
> >
> > -%define newlib_version a021448
> > +%define newlib_version fe5886a
> >  %define newlib_external 1
> >  %define newlib_expand_name
> sourceware-mirror-newlib-cygwin-%{newlib_version}
> >  %source set newlib --rsb-file=newlib-%{newlib_version}.tar.gz
> https://codeload.github.com/RTEMS/sourceware-mirror-newlib-cygwin/tar.gz/%{newlib_version}
> >  %hash sha512 newlib-%{newlib_version}.tar.gz \
> > -
> YiC/BsmRpq8XsN1hx4s2Rvcwys/4DRFB3F6vvd+lEMJWXXpt3knXT4BBZkP11bkEcpDFCV9EaOlTT3HA7C3pCg==
> > +
> w7yxW6iO3ademyF5TTj0pe9zt6WCsYa46+MOY/Rter2loQjJDEnj2AE0YxUhV4fGG+mE/Df3igJH3rzuQYeXwQ==
> >
> >  %define with_threads 1
> >  %define with_plugin 0
> > diff --git a/rtems/config/tools/rtems-gcc-12-newlib-head.cfg
> b/rtems/config/tools/rtems-gcc-12-newlib-head.cfg
> > index 04616eb..75dfcb2 100644
> > --- a/rtems/config/tools/rtems-gcc-12-newlib-head.cfg
> > +++ b/rtems/config/tools/rtems-gcc-12-newlib-head.cfg
> > @@ -38,13 +38,13 @@
> >
> KEmxHjYOqY4LTXCMZ3I60tbHusbR5GlnP0CLARHPAnhCnovDj9K3U43C1bsMxDDGRqD6fwtrEFoEgqVFX63IuQ==
> >  # Comment above related to #4657 and patches ends here
> >
> > -%define newlib_version a021448
> > +%define newlib_version fe5886a
> >  %define newlib_external 1
> >  %define newlib_expand_name
> sourceware-mirror-newlib-cygwin-%{newlib_version}
> >  %source set newlib --rsb-file=newlib-%{newlib_version}.tar.gz \
> >
> https://codeload.github.com/RTEMS/sourceware-mirror-newlib-cygwin/tar.gz/%{newlib_version}
> >  %hash sha512 newlib-%{newlib_version}.tar.gz \
> > -
> YiC/BsmRpq8XsN1hx4s2Rvcwys/4DRFB3F6vvd+lEMJWXXpt3knXT4BBZkP11bkEcpDFCV9EaOlTT3HA7C3pCg==
> > +
> w7yxW6iO3ademyF5TTj0pe9zt6WCsYa46+MOY/Rter2loQjJDEnj2AE0YxUhV4fGG+mE/Df3igJH3rzuQYeXwQ==
> >
> >  %define with_threads 1
> >  %define with_plugin 0
> > diff --git a/rtems/config/tools/rtems-gcc-13-newlib-head.cfg
> b/rtems/config/tools/rtems-gcc-13-newlib-head.cfg
> > index 03b99da..7f7e3e2 100644
> > --- a/rtems/config/tools/rtems-gcc-13-newlib-head.cfg
> > +++ b/rtems/config/tools/rtems-gcc-13-newlib-head.cfg
> > @@ -8,12 +8,12 @@
> >  %hash sha512 %{gcc_expand_name}.tar.gz \
> >
> 7uw8yZWdjboqa1k1KPJTsOutVN66EEdrQ+ylaxZCFIwOihRUrct1loZ2Y3LXCYPG9JFso0i+22XEIlx3WMlrTQ==
> >
> > -%define newlib_version a021448
> > +%define newlib_version fe5886a
> >  %define newlib_external 1
> >  %define newlib_expand_name
>

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

2023-10-09 Thread Chris Johns 
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 ++--
>  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   | 4 ++--
>  rtems/config/tools/rtems-gcc-head-newlib-head.cfg | 4 ++--
>  5 files changed, 10 insertions(+), 10 deletions(-)
> 
> diff --git a/rtems/config/tools/rtems-gcc-10-newlib-head.cfg 
> b/rtems/config/tools/rtems-gcc-10-newlib-head.cfg
> index 1cbb301..06524d4 100644
> --- a/rtems/config/tools/rtems-gcc-10-newlib-head.cfg
> +++ b/rtems/config/tools/rtems-gcc-10-newlib-head.cfg
> @@ -17,12 +17,12 @@
>  %patch add newlib -p1 
> https://devel.rtems.org/raw-attachment/ticket/4510/0001-aarch64-Add-ILP32-ABI-support-in-assembly-v2.patch
>  %hash sha512 0001-aarch64-Add-ILP32-ABI-support-in-assembly-v2.patch 
> 7ca237eabfd5b382713186e1fc290dfc999a353315795ecb8dd0d22fcd1ab7f5bf31f4329954adab91ad04c100dcac0e86d406fdbce8f82cf9dc23842c88caf6
>  
> -%define newlib_version a021448
> +%define newlib_version fe5886a
>  %define newlib_external 1
>  %define newlib_expand_name sourceware-mirror-newlib-cygwin-%{newlib_version}
>  %source set newlib --rsb-file=newlib-%{newlib_version}.tar.gz 
> https://codeload.github.com/RTEMS/sourceware-mirror-newlib-cygwin/tar.gz/%{newlib_version}
>  %hash sha512 newlib-%{newlib_version}.tar.gz \
> -  
> YiC/BsmRpq8XsN1hx4s2Rvcwys/4DRFB3F6vvd+lEMJWXXpt3knXT4BBZkP11bkEcpDFCV9EaOlTT3HA7C3pCg==
> +  
> w7yxW6iO3ademyF5TTj0pe9zt6WCsYa46+MOY/Rter2loQjJDEnj2AE0YxUhV4fGG+mE/Df3igJH3rzuQYeXwQ==
>  
>  %define with_threads 1
>  %define with_plugin 0
> diff --git a/rtems/config/tools/rtems-gcc-10.4-newlib-head.cfg 
> b/rtems/config/tools/rtems-gcc-10.4-newlib-head.cfg
> index 99e2a21..e457b75 100644
> --- a/rtems/config/tools/rtems-gcc-10.4-newlib-head.cfg
> +++ b/rtems/config/tools/rtems-gcc-10.4-newlib-head.cfg
> @@ -20,12 +20,12 @@
>  %patch add newlib -p1 
> https://devel.rtems.org/raw-attachment/ticket/4510/0001-aarch64-Add-ILP32-ABI-support-in-assembly-v2.patch
>  %hash sha512 0001-aarch64-Add-ILP32-ABI-support-in-assembly-v2.patch 
> 7ca237eabfd5b382713186e1fc290dfc999a353315795ecb8dd0d22fcd1ab7f5bf31f4329954adab91ad04c100dcac0e86d406fdbce8f82cf9dc23842c88caf6
>  
> -%define newlib_version a021448
> +%define newlib_version fe5886a
>  %define newlib_external 1
>  %define newlib_expand_name sourceware-mirror-newlib-cygwin-%{newlib_version}
>  %source set newlib --rsb-file=newlib-%{newlib_version}.tar.gz 
> https://codeload.github.com/RTEMS/sourceware-mirror-newlib-cygwin/tar.gz/%{newlib_version}
>  %hash sha512 newlib-%{newlib_version}.tar.gz \
> -  
> YiC/BsmRpq8XsN1hx4s2Rvcwys/4DRFB3F6vvd+lEMJWXXpt3knXT4BBZkP11bkEcpDFCV9EaOlTT3HA7C3pCg==
> +  
> w7yxW6iO3ademyF5TTj0pe9zt6WCsYa46+MOY/Rter2loQjJDEnj2AE0YxUhV4fGG+mE/Df3igJH3rzuQYeXwQ==
>  
>  %define with_threads 1
>  %define with_plugin 0
> diff --git a/rtems/config/tools/rtems-gcc-12-newlib-head.cfg 
> b/rtems/config/tools/rtems-gcc-12-newlib-head.cfg
> index 04616eb..75dfcb2 100644
> --- a/rtems/config/tools/rtems-gcc-12-newlib-head.cfg
> +++ b/rtems/config/tools/rtems-gcc-12-newlib-head.cfg
> @@ -38,13 +38,13 @@
>  
> KEmxHjYOqY4LTXCMZ3I60tbHusbR5GlnP0CLARHPAnhCnovDj9K3U43C1bsMxDDGRqD6fwtrEFoEgqVFX63IuQ==
>  # Comment above related to #4657 and patches ends here
>  
> -%define newlib_version a021448
> +%define newlib_version fe5886a
>  %define newlib_external 1
>  %define newlib_expand_name sourceware-mirror-newlib-cygwin-%{newlib_version}
>  %source set newlib --rsb-file=newlib-%{newlib_version}.tar.gz \
> 
> https://codeload.github.com/RTEMS/sourceware-mirror-newlib-cygwin/tar.gz/%{newlib_version}
>  %hash sha512 newlib-%{newlib_version}.tar.gz \
> -  
> YiC/BsmRpq8XsN1hx4s2Rvcwys/4DRFB3F6vvd+lEMJWXXpt3knXT4BBZkP11bkEcpDFCV9EaOlTT3HA7C3pCg==
> +  
> w7yxW6iO3ademyF5TTj0pe9zt6WCsYa46+MOY/Rter2loQjJDEnj2AE0YxUhV4fGG+mE/Df3igJH3rzuQYeXwQ==
>  
>  %define with_threads 1
>  %define with_plugin 0
> diff --git a/rtems/config/tools/rtems-gcc-13-newlib-head.cfg 
> b/rtems/config/tools/rtems-gcc-13-newlib-head.cfg
> index 03b99da..7f7e3e2 100644
> --- a/rtems/config/tools/rtems-gcc-13-newlib-head.cfg
> +++ b/rtems/config/tools/rtems-gcc-13-newlib-head.cfg
> @@ -8,12 +8,12 @@
>  %hash sha512 %{gcc_expand_name}.tar.gz \
>
> 7uw8yZWdjboqa1k1KPJTsOutVN66EEdrQ+ylaxZCFIwOihRUrct1loZ2Y3LXCYPG9JFso0i+22XEIlx3WMlrTQ==
>  
> -%define newlib_version a021448
> +%define newlib_version fe5886a
>  %define newlib_external 1
>  %define newlib_expand_name sourceware-mirror-newlib-cygwin-%{newlib_version}
>  %source set newlib --rsb-file=newlib-%{newlib_version}.tar.gz 
> https://codeload.github.com/RTEMS/sourceware-mirror-newlib-cygwin/tar.gz/%{newlib_version}
>  %hash sha512

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

2023-10-09 Thread Sebastian Huber 

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: sebastian.hu...@embedded-brains.de
phone: +49-89-18 94 741 - 16
fax:   +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/
___
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel