Dell XPS 12 (9Q23, Late 2012) - Manuel (Page 47)

Remplacement de la carte système | 47
Saisir le numéro de service dans le BIOS
1 Allumez l'ordinateur.
2 Appuyez sur <F2> pendant le POST pour entrer dans le programme de
configuration du système.
3 Accédez à l'onglet principal et entrez le numéro de service dans le champ Numéro
de service.