P.s. Volevo chiedere anche un'altra cosa. Ho letto da qualche parte che il progetto gnu sta sviluppando anche un proprio kernel per sostituire quello linux. Ne sapete qualcosa o è un bufala? Se è davvero in atto lo sviluppo di questo kernel alternativo sapete l'url dell'homepage? ciauz