Pessoal só uma dúvida!! o kernel do hurd já esta disponível para download, em caso afirmativo de onde posso baixá-lo. Abraços, João Salvatti.