83ffeb8b52
This is like efi_devpath_match, but allows differing device media paths. Those just specify the partition information. Differential Revision: https://reviews.freebsd.org/D20513 |
||
---|---|---|
.. | ||
boot1 | ||
fdt | ||
include | ||
libefi | ||
loader | ||
loader_4th | ||
loader_lua | ||
loader_simp | ||
Makefile | ||
Makefile.inc |