Add option to compile the sparc64 kernel without the TTE_CV bit support.
commit44d07586da9c31571f2e8c10efc1b28ef22d9eee
authorJakub Jermar <jakub@jermar.eu>
Wed, 22 Nov 2006 18:35:17 +0000 (22 18:35 +0000)
committerJakub Jermar <jakub@jermar.eu>
Wed, 22 Nov 2006 18:35:17 +0000 (22 18:35 +0000)
treeb9af12e5b4ea7561d272968fdfcae4b772e2db0f
parenteb353b329c894c5ded8001e6ea95db6513159021
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.
kernel/Makefile
kernel/arch/sparc64/src/mm/tlb.c
kernel/arch/sparc64/src/mm/tsb.c
kernel/arch/sparc64/src/start.S
kernel/kernel.config