I'm trying to do a fresh install and use systemd-boot as the bootloader for my ESP, but in the install instructions on step 4 it says:Copy your kernel and initramfs onto that ESP.But where are vmlinuz-linux and initramfs-linux.img located? I can't find them for the life of me.  Do I need to install bootctl before those files are available?  Nothing exists in /boot in either my Arch Linux install disk or the partitions that I'm working with
Where are kernel and initramfs files for systemd-boot?
arch linux;boot loader;uefi;initramfs;systemd boot