Re: [RFC PATCH 00/18] aarch64: kernel-side update for upstream (April 2024 ABI follow-up) + tests

> On 31 May 2026, at 22:04, Samuel Thibault <[email protected]> wrote:
> 
> Hello,
> 
> Thanks for reviving the effort :D
> 
> I have pushed a few trivial patches which don't even pose copyright
> questions. I let you discuss with Sergey and Jessica :)
> 
> Samuel

Hi Samuel,

I saw the MIG patches you pushed thanks.



Sergey,

I went a bit silent as I am finishing up setting a sane cross compilation environment that
will allow me to continue my experiments in a better way. But I was thinking for now, in a 
ew days, to raise a couple of pull request to your branch in GitHub repo wip-aarch64
branche. To add the couple of real bug fixes we found on these patches I sent, and
hopefully a PL011 working driver. From there if you prefer to create the gnumach patches
yourself, would make more sense. What do you think?

Paulo,