Add option to compile the sparc64 kernel without the TTE_CV bit support.
[helenos.git] / kernel / 
tree206b65279b32dd2c8218100c9a9ad93bb76c6d82
drwxr-xr-x   ..
-rw-r--r-- 8856 Makefile
drwxr-xr-x - arch
drwxr-xr-x - doc
drwxr-xr-x - genarch
drwxr-xr-x - generic
-rw-r--r-- 3779 kernel.config
drwxr-xr-x - test
drwxr-xr-x - tools