Bug#1005959: mig-for-host:amd64 should not exist

[Guillem Jover <guillem@debian.org>]

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