This is sources for linux 0.11. It has been tested on Ubuntu 14.0. So, you could compile kernel with gcc 4.8.