hi Chris,normally ESC will provide you with the boot device menu, but you're using a very old, buggy, and unsupported firmware on your device. I'd recommend updating to mine, which is not only newer, but will allow you to set USB as the higher priority/default at the time of installationcheers,Matt_______________________________________________On Mon, Aug 26, 2019, 11:02 AM Chris 😶🙃😵 <chip.shorter@outlook.com> wrote:_______________________________________________Good day,
A have a Samsung Series 3 Chromebox on which I installed SeaBIOS (version 181214_15:29-johnlewis.ie) a few years ago.I then installed Linux Mint, along with a GRUB.I would like to know how to access the BIOS settings, i.e. which key or combination of keys do I press at boot time?SeaBIOS displays "press ESC for boot menu" at boot time, but this just gives me the GRUB menu, not the BIOS settings.The main reason that I need to access the BIOS settings is because it is not prioritising booting from USB over the hard drive (which is SSD).
Kind regards,
Chris
SeaBIOS mailing list -- seabios@seabios.org
To unsubscribe send an email to seabios-leave@seabios.org
SeaBIOS mailing list -- seabios@seabios.org
To unsubscribe send an email to seabios-leave@seabios.org