/sys/boot/ia64/

• ../
• Makefile
• Makefile.inc
• common
• efi
• ski