Dubbi su switch a profilo hardened

marcoimi · n00b Joined: 15 Jun 2023 Posts: 1

Ciao a tutti volevo chiedervi per switchare al profilo hardened ho seguito alla lettera questo wiki https://wiki.gentoo.org/wiki/Hardened/FAQ,
volevo sapere a questo punto è necessario ricompilare il Kernel con alla fine il classico comando per il grub grub-mkconfig -o /boot/grub/grub.cfg? Ho già la versione aggiornata linux-6.1.31-gentoo.
Scusate la domanda che ai più può sembrare banale, ma voglio essere sicuro di non tralasciare niente.