Hi — thank you for working on this!
I have something like this applied locally, but it's intermixed with
the other 64-bit changes. So since you're submitting this now, let's
go with your version.
Just a few suggestions:
On Fri, Apr 7, 2023, 08:17 Flavio Cruz wrote:
> diff --git a/boot/boot.c b/
* boot/boot.c: bootstrap stubs no longer exist, removed in
https://git.savannah.gnu.org/cgit/hurd/gnumach.git/commit/?id=f9b1676d4526ce89e6c6d41d8caf5759007d8c75
* mach-defpager/default_pager.c: Use long_integer_t due to
https://git.savannah.gnu.org/cgit/hurd/gnumach.git/commit/?id=4096bd9d9cbdba
