Add option to compile the sparc64 kernel without the TTE_CV bit support.
[helenos.git] / boot / 
tree9cd751815cb57bcf626558abfd1a6e0471763125
drwxr-xr-x   ..
-rw-r--r-- 2075 Makefile
drwxr-xr-x - arch
-rw-r--r-- 654 boot.config
drwxr-xr-x - genarch
drwxr-xr-x - generic
drwxr-xr-x - tools