linux source code and some tools