Giox quando hai 10 minuti potresti condividere le tue impostazioni del kernel? Ho trovato qua e là dei consigli che hai dato in precedenza ma non so se sono ancora validi. Grazie.
Ps non so se é più indicato questo thread oppure quello del kernel visto che comunque la configurazione dovrebbe essere specifica per il semaphore con rastakat.