merge mainline changes
[helenos.git] / kernel / 
treeb3b3734fd1b5fc9d89a9c5404f7d1aaa8426c5af
drwxr-xr-x   ..
-rw-r--r-- 13262 Makefile
drwxr-xr-x - arch
drwxr-xr-x - doc
drwxr-xr-x - genarch
drwxr-xr-x - generic
drwxr-xr-x - test
drwxr-xr-x - tools