merge mainline changes
[helenos.git] / kernel / 
treec0e1031a83f93278c0d8769f3d74f09319792b8c
drwxr-xr-x   ..
-rw-r--r-- 13393 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