Congrats to Flavio for sending in what 50+ patches now!? It's pretty awesome to see someone sending in commit after commit. I'm impressed Samuel is able to keep up!
It seems like you're working on cleaning up GNUmach and adding in support for a 64 bit kernel. That's awesome work bro! Joshua