diff options
author | Arjan van de Ven <arjan@linux.intel.com> | 2008-09-16 20:27:30 +0200 |
---|---|---|
committer | Ingo Molnar <mingo@elte.hu> | 2008-09-17 11:53:03 +0200 |
commit | 90f7d25c6b672137344f447a30a9159945ffea72 (patch) | |
tree | 0d935db3030faab95cbeaa714346aa89d55bb6c7 /mm | |
parent | x86_64: printout msr -v2 (diff) | |
download | linux-90f7d25c6b672137344f447a30a9159945ffea72.tar.xz linux-90f7d25c6b672137344f447a30a9159945ffea72.zip |
x86: print DMI information in the oops trace
in order to diagnose hard system specific issues, it's useful to
have the system name in the oops (as provided by DMI)
Signed-off-by: Arjan van de Ven <arjan@linux.intel.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'mm')
0 files changed, 0 insertions, 0 deletions