-
Boot Menu
F2
orDel
-
Boot Device Menu
F7
-
WARNING: Dont change the OS from Windows to "Intel Linux" on the BIOS. Doing that causes the screen to not startup at BIOS time making impossible to enter into it again (requires to drain the battery and press power button several times to reset the settings)
Observation of functional distributions:
- Debian 10