Re: ABI mismatch on boot on arm32 system

2024-12-08 Thread Maxim Cournoyer
Hi Christoph, Christoph Buck writes: > Hi Maxim! > >> Sorry for my delayed reply. > > No problem. > >> Totally, if you haven't done so already. > > I already did. See https://issues.guix.gnu.org/74296 > > And thanks to Ludovic the patch is already merged. Excellent :-). I'm glad the result of

Re: ABI mismatch on boot on arm32 system

2024-12-07 Thread Christoph Buck
Hi Maxim! > Sorry for my delayed reply. No problem. > Totally, if you haven't done so already. I already did. See https://issues.guix.gnu.org/74296 And thanks to Ludovic the patch is already merged. -- Best regards Christoph

Re: ABI mismatch on boot on arm32 system

2024-12-04 Thread Maxim Cournoyer
Hi Christoph, Sorry for my delayed reply. Christoph Buck writes: > Hi Guix! > > So i looked into the guile source code and, as expected, the `scm_hash` > function (see hash.c in guile) uses `unsigned long` wich is 8 bytes on > x64 and 4 bytes on arm32/i868. If `string-hash` is called with the s

Re: ABI mismatch on boot on arm32 system

2024-11-10 Thread Christoph Buck
Hi! I submitted a patch which fixes the issue. See > https://issues.guix.gnu.org/74296 Feedback is appreciated! Christoph -- Best regards Christoph

Re: ABI mismatch on boot on arm32 system

2024-11-06 Thread Christoph Buck
Hi Guix! So i looked into the guile source code and, as expected, the `scm_hash` function (see hash.c in guile) uses `unsigned long` wich is 8 bytes on x64 and 4 bytes on arm32/i868. If `string-hash` is called with the size parameter `n`, the hash value is limited to size by calculating the modulo

Re: ABI mismatch on boot on arm32 system

2024-10-30 Thread Christoph Buck
Efraim Flashner writes: > Can you run it again, but with i686 -> armhf, and x86_64 -> i686? > Hi Efraim! Sure. No problem. Here we go: cross compiled x86_64/i686 = 212719825 hash vs qemu i686 = 2434018 hash cross compiled i686/arm* = 2434018 hash vs qemu arm = 2434018 hash * This combina

Re: ABI mismatch on boot on arm32 system

2024-10-30 Thread Efraim Flashner
On Tue, Oct 29, 2024 at 06:11:27PM +0100, Christoph Buck wrote: > Hi! > > In case anybody is reading along here. I digged deeper and found > something rather interessting :P Thank you! From where I'm sitting it's much easier (for me) to suggest things than to try and setup your environment. > Fr

Re: ABI mismatch on boot on arm32 system

2024-10-29 Thread Christoph Buck
Hi! In case anybody is reading along here. I digged deeper and found something rather interessting :P >From my understanding by reading through the records.scm from guix (and please note that im a total scheme newbee), the abi check works by calculation a string-hash over the record field names a

Re: ABI mismatch on boot on arm32 system

2024-10-21 Thread Christoph Buck
Hi! I can now reproduce this error locally. Consider the following file: --8<---cut here---start->8--- (define-module (abi-error) #:use-module (gnu system file-systems) #:export (bla test)) (define bla (file-system (device (file-system-label

Re: ABI mismatch on boot on arm32 system

2024-10-20 Thread Christoph Buck
Hi Zack! > Can you show us the *complete and unedited* output of `readelf -hlSd > file-systems.go` from both the working and the broken ramdisk, please? > Sure. See the attachments of this mail. But i just saw that i made a mistake and compaired the module `qemu/gnu/build/file-systems.go` to `cr

Re: ABI mismatch on boot on arm32 system

2024-10-20 Thread Zack Weinberg
On Sun, Oct 20, 2024, at 11:23 AM, Christoph Buck wrote: > I think something goes wrong during crosscompilation of the guile > modules in package `module-import-compiled`. The abi error is thrown > early on boot in the `initrd.cpio.gz` ramdisk. I extracted and > decompressed the ramdisk from both b

Re: ABI mismatch on boot on arm32 system

2024-10-20 Thread Christoph Buck
Hi! I played around a little bit more and i can indeed now successfully boot. Instead of using cross-compilation (cli option `--target=arm-linux-gnueabihf`) i created a build using qemu emulation (cli option `--system=armhf-linux`). This takes ages to build, but the resulting images is bootable wi

Re: ABI mismatch on boot on arm32 system

2024-10-20 Thread Christoph Buck
Richard Sent writes: > Hi Christoph, Hi Richard! > > The TL;DR (although I encourage you to read it!) is that you need the > CONFIG_BINFMT_MISC Linux kernel compilation option set, but when you use > a linux-libre-*-generic kernel that option is NOT set. If you're using > the qemu-binfmt-servi

Re: ABI mismatch on boot on arm32 system

2024-10-18 Thread Denis 'GNUtoo' Carikli
On Wed, 16 Oct 2024 12:11:30 +0200 Christoph Buck wrote: > Hi! Hi, > Currently i am trying to create an guix image which will boot on > embedded imx6 arm32 board. Following the guix manual, i was able to > create such an image. This involved adding a custom uboot version and > a kernel with cust

Re: ABI mismatch on boot on arm32 system

2024-10-16 Thread Richard Sent
Hi Christoph, > Currently i am trying to create an guix image which will boot on > embedded imx6 arm32 board. Following the guix manual, i was able to > create such an image. This involved adding a custom uboot version and a > kernel with custom definition file. If flashed on an sdcard, the uboot

ABI mismatch on boot on arm32 system

2024-10-16 Thread Christoph Buck
Hi! Currently i am trying to create an guix image which will boot on embedded imx6 arm32 board. Following the guix manual, i was able to create such an image. This involved adding a custom uboot version and a kernel with custom definition file. If flashed on an sdcard, the uboot runs and the kerne