Re: Systemd-boot as optional bootloader for Workstation?