Helps with dual booting. Ubuntu/Linux Mint tray application to reboot into different OSes or UEFI/BIOS - View it on GitHub