Hello, Good news! It seems I fixed the bug that was making my 64bit VM crashing quite often. The problem was that when receiving a message from userland, ipc_kmsg_get would allocate a kernel buffer with the same size as the userland message. But since we may expand the 32bit port names into 64bit port addresses, this is not large enough.
I'm almost finished with building the base set of debian packages, required to build & upload packages on the debian-ports archive (just missing cmake that exposes some bootstrap bugs). Before building the hurd-amd64 world, are we sure we are all set with the ABI details? It'll be way harder to fix later on. Samuel
