Robuta

https://lists.debian.org/debian-hurd/2023/02/msg00010.html [PATCH] osdep/hurd/getroot: Remove unused variables in grub_util_find_hurd_root_device() https://manpages.ubuntu.com/manpages/resolute/man5/gvpe.osdep.5.html Ubuntu Manpage: gvpe.osdep - os dependent information os dependent information ubuntu manpage gvpe os dependent https://lists.debian.org/debian-hurd/2023/02/msg00011.html [PATCH v2] osdep/hurd/getroot: Remove unused variables in grub_util_find_hurd_root_device()