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

[Paulo Duarte]

> On 31 May 2026, at 22:04, Samuel Thibault <samuel.thiba...@gnu.org> 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,