This is an old revision of the document!
Table of Contents
BIOS, diagnostics and other start-up notes
Crashed computer
BIOS
Entering the BIOS
Power off the machine, then power it on again and press repeatedly the appropriate key several times while the computer is starting
Dell | F2 |
HP | ESC |
Enabling boot on a USB drive
Dell
Settings ⇒ General ⇒ Boot Sequence: USB Storage Device must be selected, and in the first place of the Boot Order
Updating the BIOS
- Dell:
- Healthy Windows computer: check the support page
- Crashed Windows, or healthy (or crashed) Linux computer: use a USB key to update the BIOS, following the steps in the How to recover from booting issues using the BIOS Recovery Tool video
- HP:
If the BIOS update does not seem to work (no update takes place), check this HP BIOS update section
Notes
There are lots of HP BIOS details in HP PC Commercial BIOS (UEFI) Setup - Administration Guide (pdf document)
Other start-up related notes
Choosing the boot media or the diagnostics
Dell | F12 (enter the One-time Boot Menu) |
HP | ESC and then F2 |
Booting in safe mode
Safe mode ⇔ Mode sans échec
Windows 10
Read the Windows Recovery Environment (Windows RE) and the Safe Mode notes
Windows 7
Power off the machine, then power it and press the appropriate key at the same time
Dell | F8 |
HP |
See also Performing a safe clean boot
[ PMIP3 Wiki Home ] - [ Help! ] - [ Wiki syntax ]