|
|
# Résolution d'un kernel panic sur un HP EliteBook 8530p (dmar)
|
|
|
|
|
|
[[_TOC_]]
|
|
|
|
|
|
## Conditions de base
|
|
|
|
|
|
* Distribution : Ubuntu 14.04 LTS
|
|
|
* PC : EliteBook 8530p
|
|
|
* Date de découverte du bug : été 2015
|
|
|
|
|
|
## Identification du problème
|
|
|
|
|
|
Suite à une mise à jour, il se peut que l'ordinateur HP EliteBook 8530p plante au démarrage et affiche toute une série de messages du kernel. Il faut l'arrêter "brutalement" et le redémarrer. Il se peut que le problème survienne plusieurs fois de suite. Une fois Ubuntu lancé avec succès, la session se déroule sans problème.
|
|
|
|
|
|
Le message à isoler est le suivant :
|
|
|
|
|
|
<pre># dmesg -T |less</pre>
|
|
|
|
|
|
Chercher la chaîne : "cut here" (c'est le début des "call trace").
|
|
|
|
|
|
<pre>
|
|
|
[mar nov 3 09:18:47 2015] ------------[ cut here ]------------
|
|
|
[mar nov 3 09:18:47 2015] WARNING: CPU: 0 PID: 0 at /build/linux-zonD8D/linux-3.13.0/drivers/iommu/dmar.c:488 warn_invalid_dmar+0x7e/0x90()
|
|
|
[mar nov 3 09:18:47 2015] Your BIOS is broken; DMAR reported at address 0!
|
|
|
[mar nov 3 09:18:47 2015] BIOS vendor: Hewlett-Packard; Ver: 68PDV Ver. F.20; Product Version: F.20
|
|
|
[mar nov 3 09:18:47 2015] Modules linked in:
|
|
|
[mar nov 3 09:18:47 2015] CPU: 0 PID: 0 Comm: swapper Not tainted 3.13.0-65-generic #106-Ubuntu
|
|
|
[mar nov 3 09:18:47 2015] Hardware name: Hewlett-Packard HP EliteBook 8530p/30E7, BIOS 68PDV Ver. F.20 12/08/2011
|
|
|
[mar nov 3 09:18:47 2015] 000000000000000b ffffffff81c01de8 ffffffff81723f80 ffffffff81c01e30
|
|
|
[mar nov 3 09:18:47 2015] ffffffff81c01e20 ffffffff8106785d ffffffff81fe1010 ffffffff81fe1050
|
|
|
[mar nov 3 09:18:47 2015] 0000000000000000 ffffffff81de02c0 ffffffff81c01fb0 ffffffff81c01e80
|
|
|
[mar nov 3 09:18:47 2015] Call Trace:
|
|
|
</pre>
|
|
|
[...]
|
|
|
|
|
|
## Recherche de solutions
|
|
|
|
|
|
On trouve différentes références à ce bug sur le net, notamment :
|
|
|
|
|
|
[https://bugs.launchpad.net/linux/+bug/1348858](https://bugs.launchpad.net/linux/+bug/1348858)
|
|
|
|
|
|
Sur le composant dmar.c on trouve également ceci :
|
|
|
|
|
|
[https://wiki.ubuntu.com/Kernel/Reference/fwts/dmar](https://wiki.ubuntu.com/Kernel/Reference/fwts/dmar)
|
|
|
|
|
|
Le test `sudo fwts dmar - ` ne donne pas d'erreur significative.
|
|
|
|
|
|
<pre>
|
|
|
Test |Pass |Fail |Abort|Warn |Skip |Info |
|
|
|
---------------+-----+-----+-----+-----+-----+-----+
|
|
|
dmar | 2| | | | | |
|
|
|
---------------+-----+-----+-----+-----+-----+-----+
|
|
|
Total: | 2| 0| 0| 0| 0| 0|
|
|
|
---------------+-----+-----+-----+-----+-----+-----+
|
|
|
</pre>
|
|
|
|
|
|
Les causes sont peut-être multiples. Les conseils trouvés sur le net sont les suivants :
|
|
|
|
|
|
- Activer la virtualisation dans le BIOS.
|
|
|
- Mettre à jour le BIOS: [F20](http://h20565.www2.hp.com/hpsc/swd/public/readIndex?sp4ts.oid=3770172&swLangOid=8&swEnvOid=4059).
|
|
|
- Passer le paramètre kernel : iommu=soft
|
|
|
|
|
|
[http://askubuntu.com/questions/413338/why-is-my-syslog-telling-me-that-my-bios-is-broken](http://askubuntu.com/questions/413338/why-is-my-syslog-telling-me-that-my-bios-is-broken)
|
|
|
|