quale differenza tra il kernel debian e quello di kernel.org?
ciao grazie