is there a command available to bash to reboot into a particular OS,
different from the default, or do i have to edit the grub config?