Fato ou mito, o desenvolvimento do kernel não é mais manual?

Ouvi falar não sei aonde ou com um amigo que o desenvolvimento do kernel não é mais manual,falava também que não poderia ser manual,porque no começo do ano de 2000 e pouco o kernel Linux já tinha 15 milhões de linhas de códigos(Não sei se é verdade),estou só perguntando,parece que fosse manual seria muito trabalhoso,parece que eles usam agora programas ou bots, não sei, para corrigir e identificar falhas no código do kernel.Isso procede,gostaria de saber:

Isso é fato ou mito?



Já achei a resposta,está aqui:https://sergioprado.org/como-o-kernel-linux-e-testado/

É verdade existe programas que auxiliam na automatização do kernel Linux.Correção/identificação de bugs e etc.