diff options
| author | Dale Farnsworth <dale@farnsworth.org> | 2007-05-12 10:57:35 +1000 |
|---|---|---|
| committer | Paul Mackerras <paulus@samba.org> | 2007-05-12 11:32:50 +1000 |
| commit | 06cce43cf0980d0ed3581458fd23522ca2d24e42 (patch) | |
| tree | 853deee52d58559515a846a8d316adba4c7ebf58 /arch/powerpc/Kconfig | |
| parent | e1a3107b06a9619773596cd46a9ce0574419aed4 (diff) | |
[POWERPC] Check cache coherency of kernel vs firmware
check_cache_coherency() verifies that the cache coherency setting of
the kernel (CONFIG_NOT_COHERENT_CACHE) matches that left by the firmware,
as indicated by coherency-off device tree property.
Signed-off-by: Dale Farnsworth <dale@farnsworth.org>
Signed-off-by: Paul Mackerras <paulus@samba.org>
Diffstat (limited to 'arch/powerpc/Kconfig')
| -rw-r--r-- | arch/powerpc/Kconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/arch/powerpc/Kconfig b/arch/powerpc/Kconfig index ccc5410af99..64089b11a9e 100644 --- a/arch/powerpc/Kconfig +++ b/arch/powerpc/Kconfig @@ -389,6 +389,9 @@ config NOT_COHERENT_CACHE bool depends on 4xx || 8xx || E200 default y + +config CONFIG_CHECK_CACHE_COHERENCY + bool endmenu source "init/Kconfig" |