Use <errno.h> instead of special ESYNCH_xx error codes.
[helenos.git] / kernel / 
treec78f5ac174513440bf61c544ba94eea128c3f2ee
drwxr-xr-x   ..
-rw-r--r-- 14083 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