Hello, At last I've merged all my gnumach trees with the git repos, ending up with pushing a bunch of fixes, notably a correct version of my patch to support Xen domU with more than ~600MiB. I know that at least bach and mozart are currently running with 700MiB thanks to it. Could you give it a try?
Samuel
