Re: [XEN PATCH v5 0/2] use the documentation for MISRA C:2012 Dir 4.1

2023-11-24 Thread Nicola Vetrini
On 2023-11-17 09:53, Nicola Vetrini wrote: This series addresses some concerns raised on patches 2 and 3 from [1]. Note that patch 1 from that series has already been applied. Patch 1 comprises a modified version of patches 2 and 3 of the previous series. Patch 2 is brand new, as it merely clar

[XEN PATCH v5 0/2] use the documentation for MISRA C:2012 Dir 4.1

2023-11-17 Thread Nicola Vetrini
This series addresses some concerns raised on patches 2 and 3 from [1]. Note that patch 1 from that series has already been applied. Patch 1 comprises a modified version of patches 2 and 3 of the previous series. Patch 2 is brand new, as it merely clarifies how to write such documentation. [1] h