Pour le moment, il y a déjà des ports sur PowerPC et Sparc basés sur GNUmach. ils ne sont pas particulièrement fonctionnels, mais le travail avance, ils seront peut être plus ou moins disponibles avant que GNU ne passe à l4 (surtout le port PPC).
Sinon le travail sur l4 est en cours, mais il est complexe puisque des choses commme la gestion des périphériques, la gestion 'fine' de la mémoire ne sont pas dans l4 et qu'il faut donc disposer de programmes capables de remplacer ce que fait GNUmach (par exemple) actuellement...
[^] # Re: Nouvelle version des ISOs de Debian GNU et quelques infos sur le GNU Hurd
Posté par Anonyme . En réponse à la dépêche Nouvelle version des ISOs de Debian GNU et quelques infos sur le GNU Hurd. Évalué à 2.
Sinon le travail sur l4 est en cours, mais il est complexe puisque des choses commme la gestion des périphériques, la gestion 'fine' de la mémoire ne sont pas dans l4 et qu'il faut donc disposer de programmes capables de remplacer ce que fait GNUmach (par exemple) actuellement...