Re: add Formal Verification chapter v5

On 14/11/2023 7:29 am, Chris Johns wrote: > On 14/11/2023 3:42 am, andrew.butterfi...@scss.tcd.ie wrote: >> Is there a timeline for when the document will be rebuilt to show the new >> chapter? > > I need to run this manually at the moment. I will take a look today. > Updated. Please check. Th

[PATCH RESEND 0/1] SB: More reliably recognize distribution

(Hopefully avoid line wrap this time.) Fix #4966: SB doesn't recognize distros Python 3.8 If build host has Python >= 3.8 then Source builder could not very reliably determine paths for OS utilities such as bzip2. Problem was that "package.dist()", formerly used to determine the Linux distributio

[PATCH 1/1] sb/linux.py: More reliably recognize distribution

If available, use "distro" package (introduced Python 3.6, back-ported to 2.6) to recognize Linux distributions and versions. Updates #4966 --- source-builder/sb/linux.py | 89 +- 1 file changed, 59 insertions(+), 30 deletions(-) diff --git a/source-builder/sb

Re: [PATCH] build: Add RTEMS_QUALIFIED

On 10/11/2023 7:39 pm, Sebastian Huber wrote: > On 09.11.23 06:28, Chris Johns wrote: >> On 8/11/2023 6:44 pm, Sebastian Huber wrote: >>> On 06.11.23 21:55, Chris Johns wrote: On 6/11/2023 8:27 pm, Sebastian Huber wrote: > On 06.11.23 01:14, Chris Johns wrote: >> On 4/11/2023 1:31 am,

[PATCH v2 rtems master 2/2] Fix zedboard clock settings

From: Bernd Moessner There has been a discussion on this quite some time ago here: https://rtems-devel.rtems.narkive.com/EoIm4krA/sleep-time-is-doubled-xilinx-zynq-zedboard However, the issue has never been fixed. As outlined in the discussion, this must be f_cpu / 2. Thus as long as the board

[PATCH v2 rtems master 1/2] Fix add missing clock settings for zc706

From: Bernd Moessner --- spec/build/bsps/arm/xilinx-zynq/opta9periphclk.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/spec/build/bsps/arm/xilinx-zynq/opta9periphclk.yml b/spec/build/bsps/arm/xilinx-zynq/opta9periphclk.yml index 7233f73d5a..fdee4c0568 100644 --- a/sp

[PATCH rtems master] Fix zedboard clock settings

From: Bernd Moessner There has been a discussion on this quite some time ago here: https://rtems-devel.rtems.narkive.com/EoIm4krA/sleep-time-is-doubled-xilinx-zynq-zedboard However, the issue has never been fixed. As outlined in the discussion, this must be f_cpu / 2. Thus as long as the board

[PATCH rtems master] Fix zedboard clock settings

From: Bernd Moessner There has been a discussion on this quite some time ago here: https://rtems-devel.rtems.narkive.com/EoIm4krA/sleep-time-is-doubled-xilinx-zynq-zedboard However, the issue has never been fixed. As outlined in the discussion, this must be f_cpu / 2. Thus as long as the board

Re: add Formal Verification chapter v5

On 14/11/2023 3:42 am, andrew.butterfi...@scss.tcd.ie wrote: > Is there a timeline for when the document will be rebuilt to show the new > chapter? I need to run this manually at the moment. I will take a look today. And thanks for the documentation and your contributions. Thanks Chris

Re: [PATCH] Checkout submodule using https (restrictive company firewalls block git protocol)

Hi Bernd, Thanks for this. Which repo and branch is this for? Chris On 14/11/2023 7:09 am, berndmoessne...@gmail.com wrote: > From: Bernd Moessner > > --- > .gitmodules | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/.gitmodules b/.gitmodules > index beeaf117..e8f673

[PATCH libbsd] Checkout submodule using https (restrictive company firewalls block git protocol)

From: Bernd Moessner --- .gitmodules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index beeaf117..e8f6733e 100644 --- a/.gitmodules +++ b/.gitmodules @@ -3,4 +3,4 @@ url = https://github.com/freebsd/freebsd.git [submodule "rtems_waf"]

[PATCH] Checkout submodule using https (restrictive company firewalls block git protocol)

From: Bernd Moessner --- .gitmodules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index beeaf117..e8f6733e 100644 --- a/.gitmodules +++ b/.gitmodules @@ -3,4 +3,4 @@ url = https://github.com/freebsd/freebsd.git [submodule "rtems_waf"]

Re: add Formal Verification chapter v5

Gedare, Sebastian, Thanks for all you help and good feedback. Is there a timeline for when the document will be rebuilt to show the new chapter? Regards, Andrew Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204