Denis 'GNUtoo' Carikli, le mar. 08 oct. 2024 03:31:20 +0200, a ecrit: > On Tue, 8 Oct 2024 00:00:11 +0200 > Samuel Thibault <samuel.thiba...@gnu.org> wrote: > > I didn't know that trisquel had a Hurd port? > It doesn't, it only has a crosshurd package.
Well, you can run crosshurd on any Linux distribution :) > And so I guess that given your answer it does require a Hurd port to > work, and I would guess that it uses Debian's hurd port. Yes, crosshurd will just download the debian packages and unpack them. > > > For Guix it's well tested in VMs within the childhurd compilation > > > offload Guix service, but when running in some other configurations > > > it has several issues: > > > (1) The GRUB configuration somehow hardcodes 'hda1' as the HURD > > > partition. > > > > Where do you see that hardcoding? This doesn't seem a bug that would > > be hard to fix. > > I see it in the grub configuration in "root=part:1:device:hd0" like > below: > So I then looked a bit and found that in gnu/build/hurd-boot.scm: > > (disk (string-append "hd" n)) Ok, so that's most probably where it should be made configurable. > So I assumed that it was hardcoded somehow, even if I didn't debug > precisely how this got inside the grub configuration and I fear that > would take quite some time for me to do it as I'm not familiar with that > code yet. For a start you can try to just change that string and see the result. And then if it works, discuss with guix people about making it configurable. > The hurd-team branch in the guix source code[1] has the following > commits: > > commit fa003825efb5b6ea79f8570680c94930b9a17fdf > > Author: Janneke Nieuwenhuizen <jann...@gnu.org> > > Date: Tue May 30 18:08:38 2023 +0200 > > > > DRAFT hurd-boot: Support second boot. > > > > * gnu/build/hurd-boot.scm (boot-hurd-system): Check for stale > > shepherd socket and remove it. Be chattier about /hurd symlink > > replacement. Ok, then probably ask Janneke about it. Samuel
