Changeset 44d0758 in mainline for kernel/kernel.config


Ignore:
Timestamp:
2006-11-22T18:35:17Z (19 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
aca95f6b
Parents:
eb353b3
Message:

Add option to compile the sparc64 kernel without the TTE_CV bit support.
The bit is not used by default now.
Enabling it may theoretically lead to physical memory inconsistencies until code that
mitigates the problem is written.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/kernel.config

    reb353b3 r44d0758  
    9999
    100100# Virtually indexed cache support
    101 ! [ARCH=sparc64] CONFIG_VIRT_IDX_SUPPORT (n/y)
     101! [ARCH=sparc64] CONFIG_VIRT_IDX_CACHE (n/y)
    102102
    103103
Note: See TracChangeset for help on using the changeset viewer.