systemctl reboot

Reboot the system. More information: https://www.freedesktop.org/software/systemd/man/systemctl.html#reboot.

• Reboot the system:

systemctl reboot

• Reboot into the BIOS/UEFI menu:

systemctl reboot --firmware-setup