On Mon, Apr 3, 2023 at 1:43 AM Samuel Thibault <samuel.thiba...@gnu.org> wrote: > I guess the do_bootstrap_privileged_ports function can be dropped from > the hurd repo?
I think so, yes, along with the #include "bootstrap_S.h". boot.c never calls the bootstrap_server_routine, so it's all unused anyway. Sergey