vorrei introdurre questo sondaggio perchè abbiamo tutti lo stesso device e secondo me le esigenze sono più o meno le stesse per tutti; non vuole essere una sfida tra kernel ma un'indicazione di quali kernel sono più usati tanto per indirizzare le scelte. Vi chiederei quindi, nel caso ne aveste provati più di uno, di indicare il vostro preferito.
Spero questa idea possa essere utile a tutti..