date: remove dead code
[helenos.git] / kernel / 
tree545e6e1cf374c653982f8b883f0e8e83480fd373
drwxr-xr-x   ..
-rw-r--r-- 13020 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