/config/

• ../
• OVMF.fd
• gdbinit
• grub.cfg
• kernel.ld
• user.ld