diff options
author | Ingo Molnar <mingo@elte.hu> | 2008-07-18 00:26:59 +0200 |
---|---|---|
committer | Ingo Molnar <mingo@elte.hu> | 2008-07-18 00:28:57 +0200 |
commit | 64d206d896ff70b828138577d5ff39deda5f1c4d (patch) | |
tree | c73a42f38a22c00d9bc3a9a558770cbbea79877c /include | |
parent | 2567d71cc7acd99f0a0dd02e17fe17fd7df7b30c (diff) |
x86: rename CONFIG_NONPROMISC_DEVMEM to CONFIG_PROMISC_DEVMEM
Linus observed:
> The real bug is that we shouldn't have "double negatives", and
> certainly not negative config options. Making that "promiscuous
> /dev/mem" option a negated thing as a config option was bad.
right ... lets rename this option. There should never be a negation
in config options.
[ that reminds me of CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER, but that
is for another commit ;-) ]
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions