https://www.freedesktop.org/wiki/Software/systemd/systemd-boot UEFI boot manager from systemd
@Cogitri @ncopa @kdaudt