This project will once provide a toolchain to build the fiasco l4 kernel. However it DOES NOT! So don't use it yet.
REPOSITORIES REMOVED BY ADMIN DUE AS ANNOUNCED