I'm very interested in contributing to the port of MINIX to the x86-64
architecture as part of a google summer of code project. I see this
port is in progress, but there has been no mention of it on the group
since 2006. I assume there is still interest in this port (since
x86-64 is now the prevalent platform in consumer computers).

The MINIX website lists Sanket Sharma as the primary contributor to
this port. If you are still working on this, would you be willing to
serve as a GSOC mentor for the port?