Re: [PATCH] tools/ocaml: fill arch_config for ARM in domain_getinfolist

On 27/07/2026 10:11 am, Julian Vetter wrote:
> In the function alloc_domaininfo() the arch_config field in domaininfo
> is only filled inside #if defined(__i386__) || defined(__x86_64__). On
> ARM the field is left unpopulated. caml_alloc_tuple() does not zero new
> blocks,

Hmm.  Yes it does.  caml_alloc_tuple() calls caml_alloc() which
initialises with Val_unit everywhere.

It is only caml_alloc_small() which doesn't allocate, and potentially
ends up with garbage.

Do you have details of the crash?  I think it ought to be a plain
NULL(ish) deference from trying to interpret Val_unit as a pointer.

~Andrew