diff options
| author | Simon Arlott <simon@fire.lp0.eu> | 2008-07-19 23:32:54 +0100 |
|---|---|---|
| committer | Ingo Molnar <mingo@elte.hu> | 2008-07-20 10:10:31 +0200 |
| commit | e3a61b0a8c0e342e700a61cd554b01050f333a36 (patch) | |
| tree | 76081e45b9f6aa5d857b7b4ea02cd0014a9d5227 /drivers/media/dvb/ttpci | |
| parent | 5b664cb235e97afbf34db9c4d77f08ebd725335e (diff) | |
x86: add unknown_nmi_panic kernel parameter
It's not possible to enable the unknown_nmi_panic sysctl option
until init is run. It's useful to be able to panic the kernel
during boot too, this adds a parameter to enable this option.
Signed-off-by: Simon Arlott <simon@fire.lp0.eu>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'drivers/media/dvb/ttpci')
0 files changed, 0 insertions, 0 deletions