From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id kOniKgzMEmf6cQAA62LTzQ:P1 (envelope-from ) for ; Fri, 18 Oct 2024 20:58:52 +0000 Received: from aspmx1.migadu.com ([2001:41d0:303:e224::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id kOniKgzMEmf6cQAA62LTzQ (envelope-from ) for ; Fri, 18 Oct 2024 22:58:52 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=cyberdimension.org header.s=dkim header.b="SP+/1goT"; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1729285132; a=rsa-sha256; cv=none; b=ubY2FSklula7/mRWC/oSAKNcpPz0sp56+vBor4oCnZfGW6TaBr1N+FcWn3esIPhj8PCmzZ gpKETKTq43dPTG76qvA+TdXvvNqr3lz/kDHcEoSjmH+/ONz3TVFsZwgIF53ytASE0YpNT2 u0jTaHAQ6rIDXS4Cd6HKlReMejdQvufpgKaPS0WT816zYqMYhg7xNeBCHte82xKnqK7duY 8tMErAiIK1xezybi3ddXl3kGx0HCFNugwo7hwJJUJgvxzfMvQNURQQRylAEMhHsLdXS8DZ tX1WRRvlUcJNyNZ1ZhOGZNe+pp4xN970gWqjIdTsS4xsGQQPorfeojT2Hp/GBg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=cyberdimension.org header.s=dkim header.b="SP+/1goT"; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1729285132; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=LNYGs0wqY1PMObDnc0YtKVQ45+i7UXg9Mgfr7xDjHsw=; b=QNjgg7uLg/S3DLBQeH8kvW7laVDmPHYxyxnMi+ikpx19efTriDX+n/vYmOxqDtZ6ToAkm5 eaY4uud/b3b7osavzlS28njtoMzH1QIqQ9u3wVMS2hp8F0j8DCLwZfvfRCZA2o8K7BiXv4 SBDZM4OqkOQ+RNyBnPU/Vg4g96rxt92wOxVV84KViyBuGELWJloILcjuHDx33npJUWgLRy XIlvnn8KMNytrOz+yR9G9NNUJZ/492uYguc6FV64Pe2FCGEpc8yv2/a002E9l2T0ig8qKQ uUthGDQc03w0UAZFXyISVd1cVxbFFp+9NTUuvbssOTVnuLqqjcRoy6LdVNmbGQ== Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 91B2260B19 for ; Fri, 18 Oct 2024 22:58:52 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1t1u3J-0005HY-1b; Fri, 18 Oct 2024 16:58:29 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1t1u3G-0005HA-Eh for help-guix@gnu.org; Fri, 18 Oct 2024 16:58:27 -0400 Received: from cyberdimension.org ([2001:678:938:3ff::36] helo=rockpro64.cyberdimension.org) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from ) id 1t1u3E-0004KF-7f for help-guix@gnu.org; Fri, 18 Oct 2024 16:58:26 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; s=dkim; bh=LNYGs0wqY1PMObD nc0YtKVQ45+i7UXg9Mgfr7xDjHsw=; h=references:in-reply-to:subject:cc:to: from:date; d=cyberdimension.org; b=SP+/1goTGY8VbhyEY7yjhgGG8VsKfk/rTyK vui/yOMlMfd9OZwuyoDBHNoZ62piyipzegxC9DpBsSxs4zI6P/642Ha0YsNgMR5ZYNRJL+ WgYWLxlbKl9OpO+4rNfgDDCMzPaqFadSzBzKdTIxitlEHsMXG9KKi5MtGr6fS2/xmwfM25 v5pKtt024N8mSEx1vf8wbwFqZUxR8npL3XQvinea0znoH0+8Wjxa/0eJGrqNifUvM0hA5/ 7I3bqzruOTEatzSgOSo5xmMbfER5kGqrA5T5hpQnG7tpK3sWps0YQubw8qg/AvopXujIwK ZiF5l28qc309s+9B+PRH0AlZH5w== Received: from primary_laptop (localhost [127.0.0.1]) by rockpro64.cyberdimension.org (OpenSMTPD) with ESMTP id fbc53ad7; Fri, 18 Oct 2024 20:58:20 +0000 (UTC) Date: Fri, 18 Oct 2024 22:58:14 +0200 From: Denis 'GNUtoo' Carikli To: Christoph Buck Cc: help-guix@gnu.org Subject: Re: ABI mismatch on boot on arm32 system Message-ID: <20241018225814.5048a1fe@primary_laptop> In-Reply-To: <87y12opdbh.fsf@icepic.de> References: <87y12opdbh.fsf@icepic.de> X-Mailer: Claws Mail 4.3.0 (GTK 3.24.41; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_/.W1mYRDoV2KOjkrb2F_AbH."; protocol="application/pgp-signature"; micalg=pgp-sha256 Received-SPF: pass client-ip=2001:678:938:3ff::36; envelope-from=GNUtoo@cyberdimension.org; helo=rockpro64.cyberdimension.org X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: help-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -0.11 X-Spam-Score: -0.11 X-Migadu-Queue-Id: 91B2260B19 X-Migadu-Scanner: mx12.migadu.com X-TUID: wdiAXQYj07tP --Sig_/.W1mYRDoV2KOjkrb2F_AbH. Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable 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 custom definition file. If flashed on an sdcard, the > uboot runs and the kernel boots. However, early on boot (presumably on > executing initrd.cpio.gz), an `record-abi-mismatch-error` is thrown > and a guix recovery repl is opened >=20 > > Use 'gnu.repl' for an initrd REPL. >=20 > > ice-9/boot-9.scm:1685:16: In procedure raise-exception: > > Throw to key `record-abi-mismatch-error' with args `(abi-check "~a: > > record ABI mismatch; recompilation needed" (# > >) ())'. There is also the option to try to bisect the issues (there might be more than one). We now have a u-boot-qemu-arm package so you could for instance start with arm64 (with u-boot-qemu-arm64 and a system definition that you create or reuse+modify) and manage to boot a system with qemu. Then once you managed to boot an arm64 system, you could try to reproduce it for 32bit arm with an older guix revision (and possibly a recent u-boot-qemu-arm that doesn't change) and then start bisecting. I tried to do that a long time ago but I don't have fast computers and so at some point I gave up and I never found the time to get back to it. Denis. --Sig_/.W1mYRDoV2KOjkrb2F_AbH. Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEeC+d2+Nrp/PU3kkGX138wUF34mMFAmcSy+YACgkQX138wUF3 4mOGVA/+KAtSSpzHdpO1YgwU91lWAT6/Q7ttPnYpwDYhYpPFnbkt4Shp1/Rq2w00 JPQ975oK6u3WQvEtUqJp23IYUboDLlLiqMhhOuL2Z5Gf5aRdjeez3/gN8AWmoS4Q X5M4EbuvqiWIv4BL3ImqtmPMG3XPIXwLIVrm4imGKMGXmL1y4llinCUhuAJBMGRw KbfVPNwXVobwfZZfqyiQP12Xkj6IjwZOSKoru9F6g++nndUe61+tToU+858KT6S5 EAIUG4VZYJCW+3A1lKUiKKm/u2BSYaqphZvSgR9L87c/w3PlMkHjI9RbJ7TMWG34 4blmOwHIJxD44+LxGjldmLSSUrhMM+AKvG4WySnoTOF+06U3bKe/1YgHHXsyH84I oJmjhZ0puSlmQEDZqmUEzqANv5LB6YqfOrEt7iup2S31c7aKN4UjChhnhA647cej Uhe8f7J5I0oYZfZak4Q4pz7RogmboklaKUwMZN3sYOa0tEMYJWsMyEPhU/HUxT56 pBO9ZRUNep2Q2NM6Mr5nZkaEy6Unpn4lW5ItqorXT6z7obTxY50b7H8IF1L9LPLW 6kbgvshkZAUZgDlEF78UQvbfzNnCe3trKLqo0pLeZ8Znqg744avZ6dihe5RCvMjt w6ZSYgRtG9lCb3tWd1YRyWVpvAQRzgTeRcXtfMAl6PuEYYKSM10= =FCv6 -----END PGP SIGNATURE----- --Sig_/.W1mYRDoV2KOjkrb2F_AbH.--