Re: [PATCH hurd] Use default pager MiG stubs from Hurd instead of gnumach

2023-04-06 Thread Samuel Thibault
Applied, thanks! Flavio Cruz, le jeu. 06 avril 2023 01:20:40 -0400, a ecrit: > Hurd code relies on gnumach default_pager.defs headers when making calls > using the default pager RPC. Those stubs were checked in back in the 90s > and are essentially unused because gnumach does not implement or use

[PATCH hurd] Use default pager MiG stubs from Hurd instead of gnumach

2023-04-05 Thread Flavio Cruz
Hurd code relies on gnumach default_pager.defs headers when making calls using the default pager RPC. Those stubs were checked in back in the 90s and are essentially unused because gnumach does not implement or use that interface. Instead use the Hurd interface directly. This is safe since the Hur