[processore]

io faccio questo comando rpm -qa|grep kernel-headers
e mi dice che il kernel devel è installato.
pero non funziona lo stesso.