Tools to build Linux from sources (currently for Gentoo Linux only)