That's great news, Antonio.
>
> Minix team, just wondering if this port could be used as a SoC
> project?
I think we want to focus on getting ARM support merged before we take
on other ports, at least in the context of GSoC. Maybe you could work
with Maurits Dijkstra? He's working on the ARM port. You can probably
catch him on then IRC channel (#minix on Freenode).
Arun
Please post in English. If you post in English, more people will be
able to answer your question and everyone will benefit from the
answer.
Also, it's considered impolite to hijack threads. Please create a new
thread for your question
Thanks a lot.
Arun