The famous bsd4.4-lite kernel. I put it here just because I can access github in my corporation, so that I can browse it in office  :-)