Mi capita di pensare ogni tanto a hurd, il kernel che avrebbe dovuto essere quello ufficiale... si sa piu' nulla? Ricordo che debian aveva fatto qualcosa una iso gnu/hurd, ma poi... puff! Insomma, hurd e' morto e sepolto o no? Roberto