Kernel name and toolchain