accessing BIOS settings

[Chris 😶🙃😵]

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

[Matt DeVillier]

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 installation

see: https://mrchromebox.tech/#fwscript

cheers,
Matt

On Mon, Aug 26, 2019, 11:02 AM Chris 😶🙃😵 
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 -- [e-mail]
> To unsubscribe send an email to [e-mail]

[R S]

While I can't speak about first-hand experience running Matt's FW on a
Samsung Chromebook, I can assure that it works beautifully on the high-end
Toshiba Gandof models.

On Mon, Aug 26, 2019 at 1:40 PM Matt DeVillier 
wrote:
> 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 installation
>
> see: https://mrchromebox.tech/#fwscript
>
> cheers,
> Matt
>
> On Mon, Aug 26, 2019, 11:02 AM Chris 😶🙃😵 
> 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 -- [e-mail]
> > To unsubscribe send an email to [e-mail]
>
> SeaBIOS mailing list -- [e-mail]
> To unsubscribe send an email to [e-mail]