KSG, a kernel specification generator, is accepted to ATC ‘22.