Hi! On Fri, 2022-02-18 at 09:42:12 +0100, Samuel Thibault wrote: > Helmut Grohne, le ven. 18 févr. 2022 06:20:45 +0100, a ecrit: > > I'm quite surprised about the existence of mig-for-host:amd64 and > > mig-x86-64-linux-gnu. I'm also a little little surprised about > > mig:amd64. Are you sure that these are correct?
> Well, they have the same role as their i386 counterparts :) > > The gnumach kernel has had an experimental 64bit port for some time. > We're seeing some patches approaching that will make it something people > can try and hack on. But to be able to build it easily one needs a 64bit > mig. > > Actually possibly for building a gnumach that is 64bit but can take > 32bit userland we'll need both a 64bit and a 32bit mig installed to > support both RPC worlds. Just to spell out, what might perhaps be obvious here, but I think they key is that MIG is "kernel independent", so it provides an interface which is none-<cpu> which means it can be used on any-<cpu> to target hurd-<any>. Perhaps this should be mentioned in the packages description, because otherwise I agree it seems a bit confusing? Thanks, Guillem