Paride, mi viene in mente una possibilità .. usare il kernel BSD. Non mi sono mai cimentato con Debian, a supporto hardware è equivalente al 3.2 di Linux ? Luca