mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-26 00:59:55 +00:00
device for given file or directory. Resolve symlinks to fix problem on Linux with devfs and old device names in /etc/fstab. Use find_device() for root_device, bootdir_device and grubdir_device.