***Server sets mode: +nt
<janneke>so...the sqlite3 problem is much more mundain than i feared <janneke>debian's 20-hurd-locking-style.patch is fine <janneke>but the resulting sqlite3 cannot read certain binary database files <janneke>re-creating such a problematic binary database using .dump and --init on gnu/linux seems to be a workaround for now <youpi>it would be useful to pin-point where exactly the problem is <janneke>yes...diffing the binary databases seems to show "everything's different" :-( <janneke>yes...this problem occurs for the [cross-built] guix store database <janneke>(btw: this workaround allowed me to do my first successful guix offload build to a childhurd running on my laptop) <damo22>youpi: if ds_device_intr_register() is an RPC on the device server, doesnt that mean you can call it on any device not just "irq" <youpi>yes, but other devices will report it as unsupported ***gianluca is now known as Guest2555
***illustris_ is now known as illustris
***nckx is now known as ProboskissesXOXO
***ProboskissesXOXO is now known as nck
***nck is now known as nckx
***slyfox_ is now known as slyfox
<almuhs>after checking Xorg logs from Linux, I think that this GPU requires "intel" Xorg driver <almuhs>youpi: do you know if the "xserver-xorg-video-intel" package are ready in Hurd? <almuhs>[ 195.029] (II) intel: Driver for Intel Integrated Graphics Chipsets: i810, <almuhs> i810-dc100, i810e, i815, i830M, 845G, 854, 852GM/855GM, 865G, 915G, <almuhs> E7221 (i915), 915GM, 945G, 945GM, 945GME,