Change type of uspace pointers in kernel from pointer type to numeric (#170)
tree08e0cd78c36e001b657e289bf0f82e41911ca7dc
-rw-r--r-- 3647 .clang-format
-rw-r--r-- 10278 .gitignore
-rw-r--r-- 2529 .travis.yml
-rw-r--r-- 19542 HelenOS.config
-rw-r--r-- 5368 Makefile
-rw-r--r-- 3888 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-- 1941 version