Il 05/01/2018 18:25, Felipe Salvador ha scritto: > On Fri, Jan 05, 2018 at 05:49:12PM +0100, Portobello wrote: >> Il 05/01/2018 15:32, Felipe Salvador ha scritto: >>> On Fri, Jan 05, 2018 at 10:53:31AM +0000, Alessandro Pellizzari wrote: >>>> On 04/01/2018 12:40, Leonardo Boselli wrote: >>>> >>>>> Sarebbe utile che venissere, per tutti i sistemi, distribuite due >>>>> varianti, una "sicura" e una "performante". >>>> >>>> Se non ho capito male c'� un parametro da passare al boot (nella linea >>>> "kernel... di grub") per disattivarlo. Su Phoronix ci sono dei >>>> benchmark con e senza il flag. >>> >>> Dovrebbe disabilitarsi automaticamente in presenza di processore AMD >>> X86_64. >>> >>> Io ho >>> >>> # dmesg | grep -i isolation >>> [ 0.000000] Kernel/User page tables isolation: disabled >>> >>> Riscontri? >> Io ho il Pc Amd64 (sia di nome che come architettura). >> Ma con questo comando non dà nessun risultato. >> dmesg | grep -i isolation >> root@amd64:/home/nuovo# > > Ti è arrivato l'aggiornamento di sicurezza? > > https://lists.debian.org/debian-italian/2018/01/msg00029.html > Si, ho fatto l'aggiornamento ieri. Ma forse non è stato installato per qualche motivo. uname -a Linux amd64 4.9.0-4-amd64 #1 SMP Debian 4.9.65-3+deb9u1 (2017-12-23) x86_64 GNU/Linux Il kernel sembra che sia ancora quello del 23 Dicembre 2017. Io aggiorno tutti i giorni con il comando : upgrade-system (che comprende update upgrade e rimozione degli orfani) Ho visto durante l'aggiornamento che scaricava e installava i pacchetti indicati nel messaggio sopra. Ha fatto l'upgrade-grub, ma poi non so dove ha messo il nuovo kernel.
Ciao >>>> Bye. >>> >>> Ciao >>> >
