=== genii_ is now known as genii === y0sh_ is now known as y0sh === y0sh_ is now known as y0sh [22:41] Hi [22:42] I need some help [22:43] I'm able to build a bootable iso image for BIOS on x86 platform, the boot sector I passed as a parameter to mkisofs is "/isolinux/isolinux.bin". [22:45] Now I'm working on a dual-socket arm64 server, which has UEFI only without legacy BIOS compatible mode supported. [22:46] I found a document from Debian, which pass "-e boot/grub/efi.img" to mkisofs. [22:46] https://wiki.debian.org/RepackBootableISO#arm64_release_9.4.0 [22:47] However, I can't find "boot/grub/efi.img" after installing ubuntu-18.04.4-server-arm64.iso on my working machine. [22:48] Which package should I install to have this efi.img? [22:51] BTW, I foud an efi.img at "debian-installer/build/tmp/cdrom_grub/grub_efi/efi.img" but I don't know if it's the corrent file since it's in a tmp dir.