Hi Julien,

> On 15 Apr 2024, at 12:08, Julien Grall <jul...@xen.org> wrote:
> 
> Hi Bertrand,
> 
> On 15/04/2024 08:48, Bertrand Marquis wrote:
>> Hi Julien,
>>> On 12 Apr 2024, at 19:01, Julien Grall <julien.grall....@gmail.com> wrote:
>>> 
>>> 
>>> 
>>> On Fri, 12 Apr 2024 at 11:30, Bertrand Marquis <bertrand.marq...@arm.com> 
>>> wrote:
>>> Hi Julien,
>>> 
>>>> On 12 Apr 2024, at 15:53, Julien Grall <julien.grall....@gmail.com> wrote:
>>>> 
>>>> 
>>>> 
>>>> On Thu, 11 Apr 2024 at 18:08, Stefano Stabellini <sstabell...@kernel.org> 
>>>> wrote:
>>>> On Wed, 10 Apr 2024, Julien Grall wrote:
>>>>> On Wed, 10 Apr 2024 at 19:47, Stefano Stabellini 
>>>>> <stefano.stabell...@amd.com> wrote:
>>>>>       xen_ulong_t is widely used in public headers.
>>>>> 
>>>>>       Signed-off-by: Stefano Stabellini <stefano.stabell...@amd.com>
>>>>>       ---
>>>>> 
>>>>>       Given that xen_ulong_t is used in public headers there could be a 
>>>>> better
>>>>>       place for documenting it but this was the most straightforward to 
>>>>> add.
>>>>>       ---
>>>>>        docs/misra/C-language-toolchain.rst | 11 +++++++++++
>>>>>        1 file changed, 11 insertions(+)
>>>>> 
>>>>>       diff --git a/docs/misra/C-language-toolchain.rst 
>>>>> b/docs/misra/C-language-toolchain.rst
>>>>>       index 5ddfe7bdbe..7a334260e6 100644
>>>>>       --- a/docs/misra/C-language-toolchain.rst
>>>>>       +++ b/docs/misra/C-language-toolchain.rst
>>>>>       @@ -531,6 +531,17 @@ A summary table of data types, sizes and 
>>>>> alignment is below:
>>>>>             - 64 bits
>>>>>             - x86_64, ARMv8-A AArch64, RV64, PPC64
>>>>> 
>>>>>       +   * - xen_ulong_t
>>>>>       +     - 32 bits
>>>>>       +     - 32 bits
>>>>>       +     - x86_32
>>>>>       +
>>>>>       +   * - xen_ulong_t
>>>>>       +     - 64 bits
>>>>>       +     - 64 bits
>>>>>       +     - x86_64, ARMv8-A AArch64, RV64, PPC64, ARMv8-A AArch32, 
>>>>> ARMv8-R
>>>>>       +       AArch32, ARMv7-A
>>>>> 
>>>>> 
>>>>> We support neither ARMv8-R nor ARMv8-A Aarch32.
>>>>> 
>>>>> I could possibly accept the latter because it works to. But the former is 
>>>>> so far misleading.
>>>> 
>>>> Yes I think you are right. Moreover this document
>>>> (C-language-toolchain.rst) is meant for the Xen build. While this patch
>>>> is trying to document the types used in the public headers for the
>>>> external-facing ABI.
>>>> 
>>>> I'll move the information this patch is adding to a separate document,
>>>> specific to the public headers. I will only add the architectures
>>>> currently working: I'll add ARMv8-A Aarch32 because although it is
>>>> unsupported it is interesting to know the size of xen_ulong_t for
>>>> aarch32 in the public headers. I will remove ARMv8-R as it is not
>>>> available upstream.
>>>> 
>>>> Thinking a bit more. What about Armv9? Rather than listing each version, 
>>>> should we instead use ARMv7-A aarch32 and later, ARMv8-A aarch64 and later?
>>> 
>>> Definitely you are right here but as for Armv8-R, Armv9 is not something 
>>> that we explicitely support right now (even though it should work).
>>> 
>>> I am confused with the comparison. I thought you can’t boot Xen at all on 
>>> Armv8-R. But you can on Armv9-A as this just Armv8-A + features the 
>>> software don’t need to use.
>>> 
>>> Did you intend to draw the comparison with Armv8-A Aarch32?
>> Yes in my mind armv9 even if currently working it is not something 
>> officially supported so it is in the same state as armv8 aarch32.
> 
> AFAICT, Stefano said he will add ARMv8-A AArch32, so we should be consistent 
> and add Armv9-A in the list.

Yes that makes sense, I agree.

Cheers
Bertrand

> 
> Cheers,
> 
> -- 
> Julien Grall


Reply via email to