2 ms·

I personally prefer systemd-boot over grub2, it's dead simple to configure and works really well for UEFI systems (and dual booting windows).