On Sun, Feb 12, 2023 at 7:01 PM Luca <l...@orpolo.org> wrote: > It seems XNU's mig [0] always sets the alignment to natural_t (=4) with > a #pragma... I still have to understand how they handle these issues.
Please note that XNU uses "untyped messaging", and Apple's version of MIG is "untyped MIG". They don't have the kernel parse the message body, it just passes it to the receiver task as a blob, where it's up to MIG again to make sense of it. Sergey