Hey Bradley, Good to see you interested in porting gnumach to aarch64.
Sergey did most of the work, already. I had to take a couple weeks pause on my work, but locking full on into it tomorrow. Happy communicate so we don’t do the same thing twice. Paulo
