linux_dsm_epyc7002/Documentation/driver-api/firmware/efi
..
index.rst