/resources/libreboot/config/

• ../
• depthcharge
• grub
• seabios