add pthread kernel driver
authorFilippos Giannakos <philipgian@grnet.gr>
Tue, 4 Sep 2012 14:36:49 +0000 (17:36 +0300)
committerFilippos Giannakos <philipgian@grnet.gr>
Tue, 4 Sep 2012 14:36:49 +0000 (17:36 +0300)
commitd579592627f1f1db8931e82ad4f5cd212d3ec87a
treeb61ff75b5219f8a2f93350dd6986baf11c273601
parent8eea2b4be51718307a3b1893dda3f869e995e282
add pthread kernel driver
xseg/drivers/kernel/Makefile
xseg/drivers/kernel/xseg_pthread.c [new file with mode: 0644]