Comment by Barenboim

At first we used pthread only. But after the windows branch was added, we have to make it compatible with windows and standard <mutex> was used in the some shared codes. Codes in the "kernel" folder are for Linux only, and some of them are C.