franciscofranco/hammerhead — pull request #6 by candelorimarco (2014-12-17 20:30:10+00:00)
Title: Makefile: remove Franco Toolchain PATH

Kernel is built with GCC 4.7