| commit | 90f7d25c6b672137344f447a30a9159945ffea72 | [log] [tgz] |
|---|---|---|
| author | Arjan van de Ven <arjan@linux.intel.com> | Tue Sep 16 11:27:30 2008 -0700 |
| committer | Ingo Molnar <mingo@elte.hu> | Wed Sep 17 11:53:03 2008 +0200 |
| tree | 0d935db3030faab95cbeaa714346aa89d55bb6c7 | |
| parent | b05f78f5c713eda2c34e495d92495ee4f1c3b5e1 [diff] |
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>