Fix comment.
[helenos.git] / kernel / 
treeb7f6492bfc5c53c29d57e04f02175c72e5b94e71
drwxr-xr-x   ..
-rw-r--r-- 8882 Makefile
drwxr-xr-x - arch
drwxr-xr-x - doc
drwxr-xr-x - genarch
drwxr-xr-x - generic
-rw-r--r-- 3782 kernel.config
drwxr-xr-x - test
drwxr-xr-x - tools