Remove the option of RCU-upgradable futexes for now.
tree59878455495c95c149f9357235008c1523dbe4e6
-rw-r--r-- 3647 .clang-format
-rw-r--r-- 10825 .gitignore
-rw-r--r-- 2430 .travis.yml
-rw-r--r-- 18228 HelenOS.config
-rw-r--r-- 5115 Makefile
-rw-r--r-- 3706 README.md
drwxr-xr-x - abi
drwxr-xr-x - boot
drwxr-xr-x - contrib
drwxr-xr-x - defaults
drwxr-xr-x - doxygen
drwxr-xr-x - kernel
drwxr-xr-x - release
drwxr-xr-x - tools
drwxr-xr-x - uspace
-rw-r--r-- 1950 version