development/tools
- edk2-tools - EFI Development Kit II Tools
- edk2-tools-doc - Documentation for EFI Development Kit II Tools
- edk2-tools-python - EFI Development Kit II Tools
- ipxe-bootimgs - Network boot loader images in bootable USB, CD, floppy and GRUB formats
- ipxe-roms - Network boot loader roms in .rom format
- ipxe-roms-qemu - Network boot loader roms supported by QEMU, .rom format