Toolchain for kernel