rtems-docs README.txt: how to specify a particular sphinx version

Adds some lines to indicate how to install a specific sphinx version Patches are attached. Regards, Andrew Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Software Foundations & Verification

Re: eng: add Formal Verification chapter v5

Hello Andrew, thanks for your patience. I checked in the patch set as a single patch. I removed all white space at the end of lines and added the TCD copyright to the index. https://git.rtems.org/rtems-docs/commit/?id=2c88912893ebbcc3b9fa14d4fcc100c42252d0df Kind regards, Sebastian

Re: add Formal Verification chapter v5

Hello Sebastian, Thanks for that, and the fixes ! Regards, Andrew Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Software Foundations & Verification Research Group School of Computer Science

Re: add Formal Verification chapter v5

Andrew, Thanks for working through this. Gedare On Thu, Nov 9, 2023 at 7:19 AM andrew.butterfi...@scss.tcd.ie wrote: > > Hello Sebastian, > Thanks for that, and the fixes ! > > Regards, Andrew > > > Andrew Butterfield Tel:

Re: rtems-docs README.txt: how to specify a particular sphinx version

This looks fine to me. On Thu, Nov 9, 2023 at 4:15 AM andrew.butterfi...@scss.tcd.ie wrote: > > Adds some lines to indicate how to install a specific sphinx version > Patches are attached. > > Regards, Andrew > > > > Andrew

[PATCH rtems-docs] bsps/imxrt: Document GPIO CS pins for LPSPI

--- user/bsps/arm/imxrt.rst | 22 ++ 1 file changed, 22 insertions(+) diff --git a/user/bsps/arm/imxrt.rst b/user/bsps/arm/imxrt.rst index ad18766..6554b3b 100644 --- a/user/bsps/arm/imxrt.rst +++ b/user/bsps/arm/imxrt.rst @@ -198,6 +198,28 @@ Note that the SPI-pins on the

[PATCH rtems 2/3] bsp/imxrt: Support GPIO CS pins in LPSPI

With this, it is possible to use GPIOs as CS pins in the LPSPI. To avoid additional complexity, the GPIOs will have the same limitations as the native (hardware) CS pins. The GPIO CS feature adds a number of extra code when starting SPI transfers on this controller. Therefore it is possible to

[PATCH rtems 3/3] bsps/imxrt1166: Disable video_mux

The pinctrl-0 of the video_mux might overwrite pin settings done by other peripherals. Disabling it by default prevents unexpected pin settings. --- bsps/arm/imxrt/dts/imxrt1166-cm7-saltshaker.c | 10 ++ bsps/arm/imxrt/dts/imxrt1166-cm7-saltshaker.dts | 1 + 2 files changed, 7

[PATCH rtems 1/3] bsps/imx*: imx_gpio from pointer to fdt property

Device trees allow mixing different kinds of GPIOs in one property. For that it is usefull to only provide a pointer to an arbitrary location in the property and initialize a GPIO from that. --- bsps/arm/include/bsp/imx-gpio.h | 26 bsps/arm/shared/pins/imx-gpio.c | 55

[PATCHES] bsps/imxrt: Support GPIO CS for LPSPI; Minor fix for imxrt1166

Hello, with this patch set, the LPSPI of the imxrt BSPs now can use a GPIO as a chip select pin. The documentation is updated to show how it works. Additionally a minor fix for the iomux for the imxrt1166 is added. On that BSP some pins have been initialized that shouldn't be initialized unless