Processed: Re: Bug#1005959: mig-for-host:amd64 should not exist
Processing control commands: > tags -1 + moreinfo Bug #1005959 [mig-for-host] mig-for-host:amd64 should not exist Added tag(s) moreinfo. -- 1005959: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1005959 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
Bug#1005959: mig-for-host:amd64 should not exist
Control: tags -1 + moreinfo Hi Guillem, On Fri, Feb 18, 2022 at 12:45:57PM +0100, Guillem Jover wrote: > 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- which means it can be used on any- > to target hurd-. Perhaps this should be mentioned in the packages > description, because otherwise I agree it seems a bit confusing? Thank you. In that case, I think it shouldn't be mig-x86-64-linux-gnu nor mig-x86-64-gnu nor mig-x86-64-kfreebsd-gnu, but simply mig-x86-64 as that's what it is specific to. That makes a few downstream-implications a little more difficult though. The binary would likely have to be called x86_64-mig instead of x86_64-gnu-mig. mig-for-host can likely stay as it is. I suppose such renaming would break downstreams such as hurd as they don't expect such changed names. At this point I'm unsure whether such a renaming effort would be a useful thing to spend time on. However improving the description would be useful. Helmut
Bug#1005959: mig-for-host:amd64 should not exist
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- which means it can be used on any- to target hurd-. Perhaps this should be mentioned in the packages description, because otherwise I agree it seems a bit confusing? Thanks, Guillem
gnumach_1.8+git20220218-2_source.changes ACCEPTED into unstable
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 18 Feb 2022 08:48:08 +0100 Source: gnumach Architecture: source Version: 2:1.8+git20220218-2 Distribution: unstable Urgency: medium Maintainer: GNU Hurd Maintainers Changed-By: Samuel Thibault Changes: gnumach (2:1.8+git20220218-2) unstable; urgency=medium . * patches/git-device_map_page.patch: Fix build on i386 Checksums-Sha1: 06f821dfd06259d4d3706742a4d7b93e5f71c6e7 3294 gnumach_1.8+git20220218-2.dsc 518b29cd806ffa85f59dd78b75379a60db33761a 27816 gnumach_1.8+git20220218-2.debian.tar.xz adce34e41551cd0983dcb75afc27302f8a09d54c 7631 gnumach_1.8+git20220218-2_source.buildinfo Checksums-Sha256: 605d7878d6aea6f131aa87b028f85985444cdaa2e6fb98accd6d8cb2ea58b2bb 3294 gnumach_1.8+git20220218-2.dsc 183cc452f3144f643138dc07c2fa91aa032c8e60bca54c82df44cb61a25a970d 27816 gnumach_1.8+git20220218-2.debian.tar.xz 4a3d3789499c87a108f4457de8543f2ba31d87c2b37251952e562253fbfa72ee 7631 gnumach_1.8+git20220218-2_source.buildinfo Files: 5b087f50fdb88b54d1923b4f05f6f9ac 3294 kernel optional gnumach_1.8+git20220218-2.dsc ee14df3f6fc252f2628f1902cac42afe 27816 kernel optional gnumach_1.8+git20220218-2.debian.tar.xz cf9b95c5a60003fe2a23fe2afbf9 7631 kernel optional gnumach_1.8+git20220218-2_source.buildinfo -BEGIN PGP SIGNATURE- iQJJBAEBCgAzFiEEZTSF1IMOAGwT71n/aHTOWK4tfj8FAmIPT+sVHHN0aGliYXVs dEBkZWJpYW4ub3JnAAoJEGh0zliuLX4//A4P/2sTntZhYarwVjv/e0GA4P+XtXod upy3LDqbpRPCH5vCpYAMiNmH9UUNtwycrR7prtk+9RU4jAUUMRXO6ypxaqt9bPul tNzhnJA7XI28g+iG2IwBH0cXYZ/0huTos4oQWvM7YVRv4Rwus8sjDW1cj3VtyLH6 B3RxVZBYbugUrIHBFBgD0AzJaYEB18gFGO3ayjKhiEr56wwGywKxFrL8eLZcLD/b +DqPt/1AzcnK2yJyJn6NVm5o0/OzetOJxNZCNQYSiTL1/sEaAB+RtstigUtN3pJI o5FOBBCtVm2h7QEly2BvK1sgzGwEAiEis/Oimp/Uyd1HIebOeDn/uEXldcpqQ8S4 /9xv2PTei/CuTbl+m0gZzeQ/sb1V+7s3NGa4OTSjYn+OBWUxJrHUdYgqGeVnzVsF JW6X1L8b83piQpTf8NSthYXIlPDjkSJk6xkqe+ygpwKm24Cc9sGkM8OTwg6mDweO SfpOHhfd0Kp4QWGE9k8HKC7FkgSh3EZf2RLuceGUZ8YYu+fdV7EdYSPrqaY1HSm+ sSCPxTlwQ8rFcUx5VN/Z+O348KCCDznsfVS5V2ugeoK1+jN2GQkq142wd1G/x/f2 2Ici2mPnEBjPVWNvdYL+tEV5g66tK7tOdjM43zK+LLpqEeCXuQlcRGN85FPAkLef oFlZKm851KL/sQL0 =aD1O -END PGP SIGNATURE- Thank you for your contribution to Debian.
Bug#1005959: mig-for-host:amd64 should not exist
Hello, 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. Samuel
Processing of gnumach_1.8+git20220218-2_source.changes
gnumach_1.8+git20220218-2_source.changes uploaded successfully to localhost along with the files: gnumach_1.8+git20220218-2.dsc gnumach_1.8+git20220218-2.debian.tar.xz gnumach_1.8+git20220218-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
