Re: systemd-boot on rpi4?