Como trocar de kernel Linux via GUI? [Ubuntu]

Sei que para trocar de kernel graficamente existe o Ukuu. No entanto, eu gostaria de comutar no kernel xanmod e o Ukuu só reconhece o kernel linux generic (acredito que seja esse o nome).

Aproveito o post para perguntar,
atualmente utilizo o kernel xanmod 5.3.8. A versaão mais atual até então estava dando muito screen tearing no Ubuntu, alguém está utilizando a mesma agora? Segue meu hardware

1 Curtida

Porque trocar kernel via GUI?

1 Curtida

Me desculpe, sei que não tem nada a ver mas estou surpreso sobre como meu Plasma parece muito com o Ubuntu, mesmo não tendo essa intenção…

1 Curtida

Podes postar no post de Customização e temas

Somente via Synaptic(gerenciador de pacotes)