Solved What is /dev/efi device file?

Title says it all; I was poking around the device files and noticed /dev/efi. None of the search results I've found even specifically mention /dev/efi. I'm just curious what purpose it serves.

command:

stat -f "maj/min: %Z type: %T" /dev/efi

result:

Code:
maj/min: 0,44    type:

File type shows up as a character device with other commands.
 
Thanks guys, I'm getting the idea now. I think if I were to look for how efibootmgr interacts with /dev/efi I'd probably get a better idea of what's going on.

From _martin:

From efidev(4):
The efidev device provides user-mode access to UEFI runtime services. efidev also includes a driver to provide a time-of-day clock using the UEFI real time clock (RTC). However, the RTC may not always be available, based on the UEFI firmware.
...
FILES
/dev/efi
Actually, upon further reading, the efidev man page contains everything I wanted to know.
 
Back
Top