Fix build with -O1
[helenos.git] / kernel / 
treede0c5620b33fbd698d545415f2c6507a93db52e4
drwxr-xr-x   ..
-rw-r--r-- 11943 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