diff options
| author | Dave Jones <davej@redhat.com> | 2013-04-11 12:17:38 -0400 |
|---|---|---|
| committer | Dave Jones <davej@redhat.com> | 2013-04-11 12:17:38 -0400 |
| commit | 77c62fd3edec580e5d5cf064c98a49d1282d7fd8 (patch) | |
| tree | 73836fe1f2c9a146504a0802d26d1c019bef3b58 /config-x86-generic | |
| parent | c791ed47f0a267d3f511b2f19b18f679547eb0c0 (diff) | |
| download | kernel-77c62fd3edec580e5d5cf064c98a49d1282d7fd8.tar.gz kernel-77c62fd3edec580e5d5cf064c98a49d1282d7fd8.tar.xz kernel-77c62fd3edec580e5d5cf064c98a49d1282d7fd8.zip | |
Print out some extra debug information when we hit bad page tables.
Diffstat (limited to 'config-x86-generic')
0 files changed, 0 insertions, 0 deletions