add license headers
[archipelago] / xseg / drivers / kernel /
drwxr-xr-x   ..
-rw-r--r-- 2206 Makefile
-rw-r--r-- 4653 xseg_posix.c
-rw-r--r-- 4899 xseg_pthread.c
-rw-r--r-- 9713 xseg_segdev.c