Add option to compile the sparc64 kernel without the TTE_CV bit support.
treeb9af12e5b4ea7561d272968fdfcae4b772e2db0f
-rw-r--r-- 612 HelenOS.config
-rw-r--r-- 3584 Makefile
drwxr-xr-x - boot
drwxr-xr-x - contrib
drwxr-xr-x - kernel
drwxr-xr-x - tools
drwxr-xr-x - uspace
-rw-r--r-- 216 version