From nobody Tue Feb 6 18:15:03 2024
X-Original-To: freebsd-arm@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TTry41vldz59jZS
for <freebsd-arm@mlmmj.nyi.freebsd.org>; Tue, 6 Feb 2024 18:15:08 +0000 (UTC)
(envelope-from void@f-m.fm)
Received: from out3-smtp.messagingengine.com (out3-smtp.messagingengine.com [66.111.4.27])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
(Client did not present a certificate)
by mx1.freebsd.org (Postfix) with ESMTPS id 4TTry31jzFz47Cs
for <freebsd-arm@freebsd.org>; Tue, 6 Feb 2024 18:15:07 +0000 (UTC)
(envelope-from void@f-m.fm)
Authentication-Results: mx1.freebsd.org;
dkim=pass header.d=f-m.fm header.s=fm3 header.b=rFf2VB7t;
dkim=pass header.d=messagingengine.com header.s=fm3 header.b=VPULfpe+;
dmarc=pass (policy=none) header.from=f-m.fm;
spf=pass (mx1.freebsd.org: domain of void@f-m.fm designates 66.111.4.27 as permitted sender) smtp.mailfrom=void@f-m.fm
Received: from compute7.internal (compute7.nyi.internal [10.202.2.48])
by mailout.nyi.internal (Postfix) with ESMTP id CFB1A5C0184
for <freebsd-arm@freebsd.org>; Tue, 6 Feb 2024 13:15:05 -0500 (EST)
Received: from mailfrontend1 ([10.202.2.162])
by compute7.internal (MEProxy); Tue, 06 Feb 2024 13:15:05 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=f-m.fm; h=cc
:content-type:content-type:date:date:from:from:in-reply-to
:message-id:mime-version:reply-to:subject:subject:to:to; s=fm3;
t=1707243305; x=1707329705; bh=yhQEmn4IeH3tYC1RaKxKhNG2csdH44V+
fMievWXl0Jo=; b=rFf2VB7tahG9j03r6i1kU/x5R2atGT87Y82GZ7+naicRooUA
EpCctXoudrIXaE6f2+UXbfpw+B8qjh6zmYob4PhWHd63r3BpzBRPw98tVnmUg2k9
n2qQPlYAFXvaP6c/3XG2Usm8uR1CgUcPA1ydrDZltTlY7GRD7zpciCIMxHvn6oIV
6I3j24AQKtl59hBjpf5Qc9Gh6aVOnWgA5PclTIEYMUNTcwMOKTjFbnvQE9c6mA7G
CAflzfyIhOm3Wze1VfQ9CNALwdLpVNe4jasZnih7C+RBN7MBeLJEiX0tAAGGPjyU
ubgtnPjDe6ToB6cFglqdY0JqPu8QPNEw6zXwlw==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=
messagingengine.com; h=cc:content-type:content-type:date:date
:feedback-id:feedback-id:from:from:in-reply-to:message-id
:mime-version:reply-to:subject:subject:to:to:x-me-proxy
:x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm3; t=
1707243305; x=1707329705; bh=yhQEmn4IeH3tYC1RaKxKhNG2csdH44V+fMi
evWXl0Jo=; b=VPULfpe+zCpYcGREUegu9AMPbXbbtLy3BlNOaNsAXiLOprN8+i7
uHrpITIzpbrlvH2oyonN93MGsI7ubMd7u2IxBHnbxy6F2rP71ROWMjLjq86tdKvQ
KqCwszl35KwNvYoLLNoLOpyghsv44+rRsxrb0kmQZuD75hgT+bmZSBerv/4gn3Sn
SAffZcDl/O9ENXhGO8ZltWZTV8EUwAW+jNfvYGTQwT8J18fqPp16we0mBAlPXs1r
ZsQwWFxy5N4qiSo6FDQUdbw+Rm8/7RgwBeIK3HVXpXTwkU3xoQQoMNYPvV8Pk7Wa
CPrrIQs3zButLGFuAyWOdsvZn5lgtoIRlkg==
X-ME-Sender: <xms:KXfCZcYmMjqK38GUryXf6RTx9vmSKqnzFyK83Y-Zj5Et0hkrWJZgVg>
<xme:KXfCZXaCrpCZSZPFq-eRNd7DykYqp_636eIjsLAdIA9BG4_z80QK41dzJwhhaXUqt
0CcWl521zeJndH7Rw>
X-ME-Received: <xmr:KXfCZW_oq_P2gAC3KNMd3px5Hub-xHBv6k3j1pVMXGt2ktXdnkjlqOM>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvledrtddtgdekudcutefuodetggdotefrodftvf
curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu
uegrihhlohhuthemuceftddtnecunecujfgurhepfffhvffukfggtggusehttdertddttd
dvnecuhfhrohhmpehvohhiugcuoehvohhiugesfhdqmhdrfhhmqeenucggtffrrghtthgv
rhhnpeevudffiedvffffgffhgeefjeefffdtieetheetkeefhfdvfefgtedtueehgeffue
enucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpehvohhi
ugesfhdqmhdrfhhm
X-ME-Proxy: <xmx:KXfCZWodPQCjbhM0x0WiYoCG-AuxM6_lif4n-TysczPnZupHrJPvjQ>
<xmx:KXfCZXqGbkj-mE9VWT-RmxwegPuWC7yb3LecQjDPLPa7Z8K_UEA7og>
<xmx:KXfCZUR6P2mic-sUfAMY11A9pw7fPxlcHXn0-2cn31twCHnyCdGxpg>
<xmx:KXfCZWQE3t9nTSM2LiV9lMeJpVzZiGrsF_As_WGGsIOtPILnY1rCVw>
Feedback-ID: i2541463c:Fastmail
Received: by mail.messagingengine.com (Postfix) with ESMTPA for
<freebsd-arm@freebsd.org>; Tue, 6 Feb 2024 13:15:05 -0500 (EST)
Date: Tue, 6 Feb 2024 18:15:03 +0000
From: void <void@f-m.fm>
To: freebsd-arm@freebsd.org
Subject: run0 flapping on rpi4b connected to usb2 port
Message-ID: <ZcJ3J7HYhMx1XNXy@int21h>
Mail-Followup-To: freebsd-arm@freebsd.org
List-Id: Porting FreeBSD to ARM processors <freebsd-arm.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-arm
List-Help: <mailto:freebsd-arm+help@freebsd.org>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Subscribe: <mailto:freebsd-arm+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-arm+unsubscribe@freebsd.org>
Sender: owner-freebsd-arm@freebsd.org
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Disposition: inline
X-Spamd-Bar: ---
X-Spamd-Result: default: False [-3.60 / 15.00];
NEURAL_HAM_LONG(-1.00)[-1.000];
NEURAL_HAM_MEDIUM(-1.00)[-1.000];
NEURAL_HAM_SHORT(-1.00)[-0.996];
MID_RHS_NOT_FQDN(0.50)[];
DMARC_POLICY_ALLOW(-0.50)[f-m.fm,none];
R_DKIM_ALLOW(-0.20)[f-m.fm:s=fm3,messagingengine.com:s=fm3];
R_SPF_ALLOW(-0.20)[+ip4:66.111.4.27];
MIME_GOOD(-0.10)[text/plain];
RCVD_IN_DNSWL_LOW(-0.10)[66.111.4.27:from];
FREEMAIL_FROM(0.00)[f-m.fm];
RCVD_TLS_LAST(0.00)[];
TO_MATCH_ENVRCPT_ALL(0.00)[];
MIME_TRACE(0.00)[0:+];
RCVD_COUNT_THREE(0.00)[3];
RCPT_COUNT_ONE(0.00)[1];
ARC_NA(0.00)[];
FROM_HAS_DN(0.00)[];
FREEMAIL_ENVFROM(0.00)[f-m.fm];
PREVIOUSLY_DELIVERED(0.00)[freebsd-arm@freebsd.org];
TO_DN_NONE(0.00)[];
FROM_EQ_ENVFROM(0.00)[];
DKIM_TRACE(0.00)[f-m.fm:+,messagingengine.com:+];
MLMMJ_DEST(0.00)[freebsd-arm@freebsd.org];
ASN(0.00)[asn:19151, ipnet:66.111.4.0/24, country:US];
RCVD_VIA_SMTP_AUTH(0.00)[];
MISSING_XM_UA(0.00)[];
DWL_DNSWL_NONE(0.00)[messagingengine.com:dkim]
X-Rspamd-Queue-Id: 4TTry31jzFz47Cs
Hi,
context: rpi4b arm64 main-n267804-3883c6fbf232-dirty 1500012 1500012
run0: <Ralink 802.11 n WLAN, class 0/0, rev 2.00/1.01, addr 3> on usbus0
run0: MAC/BBP RT5390 (rev 0x0502), RF RT5370 (MIMO 1T1R), address [mac address goes here]
run0: [HT] Enabling 802.11n
wlan0 flaps for no reason - no appreciable load at these times either on the
machine or on the wlan network. In terms of electronic noise, the area it's in
is rural.
from /var/log/monit.syslog
45696: [2024-02-06T00:08:16+0000] info : 'wlan0' link up
46211: [2024-02-06T01:34:35+0000] error : 'wlan0' 8 upload errors detected
46216: [2024-02-06T01:34:35+0000] info : 'wlan0' download errors check succeeded
46242: [2024-02-06T01:38:08+0000] error : 'wlan0' 1 download errors detected
46250: [2024-02-06T01:38:38+0000] info : 'wlan0' link up
46429: [2024-02-06T02:08:04+0000] error : 'wlan0' 2 download errors detected
46437: [2024-02-06T02:08:34+0000] info : 'wlan0' link up
46442: [2024-02-06T02:08:34+0000] error : 'wlan0' 2 download errors detected
46450: [2024-02-06T02:09:05+0000] info : 'wlan0' link up
46479: [2024-02-06T02:13:08+0000] error : 'wlan0' 1 download errors detected
46487: [2024-02-06T02:13:39+0000] info : 'wlan0' link up
46519: [2024-02-06T02:18:12+0000] error : 'wlan0' 1 download errors detected
The *ethernet* port doesn't flap at all.
Is there an issue with freebsd&wifi on this arch, and/or one with the wifi
adapter? or something else? How to debug? thanks in advance for any assistance
--
From nobody Fri Feb 9 08:09:19 2024
X-Original-To: freebsd-arm@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TWRMh01Pqz59Dw1
for <freebsd-arm@mlmmj.nyi.freebsd.org>; Fri, 9 Feb 2024 08:09:20 +0000 (UTC)
(envelope-from bugzilla-noreply@freebsd.org)
Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256
client-signature RSA-PSS (4096 bits) client-digest SHA256)
(Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK))
by mx1.freebsd.org (Postfix) with ESMTPS id 4TWRMg4HNKz4dqS
for <freebsd-arm@FreeBSD.org>; Fri, 9 Feb 2024 08:09:19 +0000 (UTC)
(envelope-from bugzilla-noreply@freebsd.org)
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org;
s=dkim; t=1707466159;
h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
to:to:cc:mime-version:mime-version:content-type:content-type:
content-transfer-encoding:content-transfer-encoding:
in-reply-to:in-reply-to:references:references;
bh=DxDzEh3LeqtEig8TMl91Ggsfw9GdmOxVDPpN4bStAvc=;
b=wxa8KQtXk32QLyWgug2+j4dpMlg0Hjhr2MLLPKZdGE/oNH4uJza9zbVFw812ZqR3nrxWGG
mpehfxE2eKdpo6trVZJnI2j81I2v0YVhnJLHlRq67+RJxnN2gS3X/6vHhP39z/NpMKzLNa
bcke/QnDY9bG2gu01szIKF/sSCJIm/KvE7UilX9v4CqLBPxC2+kXTv0Dytxque9WpnpiaA
uQ3rOP+VaL1De1PhtAHVZhfQGXmA5VH/3t1VK+wd/oNbtx0fqocJhyDJc8OYu17wflJLMc
AeTdVFCbLE1UUg+mQ5E6wnHDYfoj8+C9BR/jO7bqXEbW1WEuUID6gE804h8noQ==
ARC-Authentication-Results: i=1;
mx1.freebsd.org;
none
ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1707466159; a=rsa-sha256; cv=none;
b=k1C5Wc17yzMgGjQl+H12nz2NdgWowR4ZwcdH4/L0/kq7YqcddW3zsEh64Th+8xjXloCQiU
RV3ZEH9mScXPaQZEplOB9Aiptc9rUrd2uSR6bjQGRlpyTxBCe73OCAL2I8EueHnodqMH2R
aRTGMbw7sMYaV+Xqc940ZmYN7FfDeYOXPi/tRhHZBeOPRw9RgZioPFiNNp6xZWenUNp+p9
xSY7M7TDZNKb/cgHP5g8Do/KQUmGpGSlKrzCMpl5y4DH9ktT70e8xkojtlQA0OHlQ4p6Os
rQbdiNb5HVB1guyWkkDGnoBWHghLjp5xuTEVGMg5KNvv4xuNP1aH1JjDFkP66Q==
Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2610:1c1:1:606c::50:1d])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
(Client did not present a certificate)
by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4TWRMg3LKJzQ7m
for <freebsd-arm@FreeBSD.org>; Fri, 9 Feb 2024 08:09:19 +0000 (UTC)
(envelope-from bugzilla-noreply@freebsd.org)
Received: from kenobi.freebsd.org ([127.0.1.5])
by kenobi.freebsd.org (8.15.2/8.15.2) with ESMTP id 41989JTb039222
for <freebsd-arm@FreeBSD.org>; Fri, 9 Feb 2024 08:09:19 GMT
(envelope-from bugzilla-noreply@freebsd.org)
Received: (from www@localhost)
by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 41989JMs039221
for freebsd-arm@FreeBSD.org; Fri, 9 Feb 2024 08:09:19 GMT
(envelope-from bugzilla-noreply@freebsd.org)
X-Authentication-Warning: kenobi.freebsd.org: www set sender to bugzilla-noreply@freebsd.org using -f
From: bugzilla-noreply@freebsd.org
To: freebsd-arm@FreeBSD.org
Subject: [Bug 257750] lldb p command crashes on Raspberry Pi 4
Date: Fri, 09 Feb 2024 08:09:19 +0000
X-Bugzilla-Reason: AssignedTo
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: Base System
X-Bugzilla-Component: arm
X-Bugzilla-Version: 13.0-RELEASE
X-Bugzilla-Keywords:
X-Bugzilla-Severity: Affects Many People
X-Bugzilla-Who: bc979@lafn.org
X-Bugzilla-Status: Closed
X-Bugzilla-Resolution: FIXED
X-Bugzilla-Priority: ---
X-Bugzilla-Assigned-To: freebsd-arm@FreeBSD.org
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status resolution
Message-ID: <bug-257750-7-YOFPaxIObF@https.bugs.freebsd.org/bugzilla/>
In-Reply-To: <bug-257750-7@https.bugs.freebsd.org/bugzilla/>
References: <bug-257750-7@https.bugs.freebsd.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: https://bugs.freebsd.org/bugzilla/
Auto-Submitted: auto-generated
List-Id: Porting FreeBSD to ARM processors <freebsd-arm.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-arm
List-Help: <mailto:freebsd-arm+help@freebsd.org>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Subscribe: <mailto:freebsd-arm+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-arm+unsubscribe@freebsd.org>
Sender: owner-freebsd-arm@freebsd.org
MIME-Version: 1.0
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D257750
bc979@lafn.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|New |Closed
Resolution|--- |FIXED
--- Comment #1 from bc979@lafn.org ---
I just tried this again on FreeBSD 14.0-RELEASE-p3 and the p command works =
as
expected. I have no idea when or how this got fixed, but it works now. Th=
anks
to whomever took care of it.
--=20
You are receiving this mail because:
You are the assignee for the bug.=
From nobody Sat Feb 10 04:13:15 2024
X-Original-To: freebsd-arm@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TWy5B5ySMz58nh7
for <freebsd-arm@mlmmj.nyi.freebsd.org>; Sat, 10 Feb 2024 04:13:34 +0000 (UTC)
(envelope-from marklmi@yahoo.com)
Received: from sonic316-8.consmr.mail.gq1.yahoo.com (sonic316-8.consmr.mail.gq1.yahoo.com [98.137.69.32])
(using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
(Client did not present a certificate)
by mx1.freebsd.org (Postfix) with ESMTPS id 4TWy595Zhwz3xGw
for <freebsd-arm@freebsd.org>; Sat, 10 Feb 2024 04:13:33 +0000 (UTC)
(envelope-from marklmi@yahoo.com)
Authentication-Results: mx1.freebsd.org;
dkim=pass header.d=yahoo.com header.s=s2048 header.b=t35boHvQ;
dmarc=pass (policy=reject) header.from=yahoo.com;
spf=pass (mx1.freebsd.org: domain of marklmi@yahoo.com designates 98.137.69.32 as permitted sender) smtp.mailfrom=marklmi@yahoo.com
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707538411; bh=fXLoWye0vC82uumYRN+aUEBDWaMje4L4XPYD1S/CQWk=; h=From:Subject:Date:Cc:To:References:From:Subject:Reply-To; b=t35boHvQhuSb9djEgPr5AHpLVUBdw3KtYiGDq6rBLXyJxE+GVo0BMlbi8Dq2yPH3r224qVosQ+yDwLMY6Yh/SjJZvwSE+HZBSS2kE4PsS60z4EeZE4ncW4h+Tygwe4qB+wtY+RuEb+rgOofVPRcHSstDe51vdmE4n8aY1oshkw155b6LzS+VPWgdys8D4+PehUIbwK3/WONq4F97IoPjUlLDYtBuVFTweb7POXSlUJbw2LvqLnuMJTFcQLeVbxy9QqDTA9S+d/EzGZ5trmdy/HW6Siws6WrOLr9VPIh3cHionYPDbrpF3MYQ21qcA6PJhSO1w2krICHgOdzKDaZwXg==
X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707538411; bh=hdo7477X7miX6FisfQf7VxOr0srr2ncU3ZEg+ZwEs2H=; h=X-Sonic-MF:From:Subject:Date:To:From:Subject; b=RnhswI6qvcEWJC8f2w0j7T8q2/UctOmLgRmmFphikC6Zk32AnSeOUd2qgzN0nGHdQRmc+Ob3JRZlH1/pNoWnneGgVF0C63EQNqJsmYTEfxnTLz3Nqxmv3VbC5pGZeD+uHKuL1iihKuRB8ZSiIBwtHagOgVg2b8+CR3RO0sgqu6GNUCkIqZokkyxcCP77LKktiPK91VMQ2ykwgR5+OSGoFDObDmzjLThsfYa9sh1xoQVJ+ZGCi/Up2b/GlAn2q/5Hk9T0joGMmFpO4FBJD6oBiAlAMBeEEIUpMqmnNw2JLuchZCkifjW5CcimJI0oJ0WkdGyybXJ4hSfi8bxu6+WcHQ==
X-YMail-OSG: XYoVmy8VM1kusseyNx67APgMO2v5ds2h0M893qWiKfDpxXcDYz4mqNmvLBrmvPL
HOC8iQTgMXI7o9fVomFFiXpPFNbnz4TERKIfM5Wpe1Y26_GrZi00W91WHj467fIB8mJB7DFKDDLE
rJd0_JWQBly.RMzU32xc46.NrDuzX7sfdv.C9X7Adsl1ei7Q8oJ_UgzEeaD4sn86mn8jS0Il8_BV
E8DvVoqMliBtV.uXl4ZA8Jpw5r9t9I7W3LltVlG56t6BKAALcW2EiATnAFVlKyW.9Um_fd63cZx3
37s4i8PAdfjbajKETfxxksCMB5GU_.njn1_bvUCOkJegVZBpCeUz9sKy8XN8qHSyIXsXgpJTQbkf
ybLrPnXFIYtgXUwByZw0.QVzqJ6w_ztKZCKKYCPei.9y6hTtObzdCw9MPDoM5Z2dJ7TiRWjo8EO3
SZqaXHA_0tBh7GJz0Ofi1SuEmhaPWMT4E5cl8S5OLgKL94DHV3PZpnvudrHaOQ4yRO0fXWAOfn8X
Sd7UVKg73OGxF8fwL3ELa0D9fWWc0Gi3lBWhjDjOeXTo4n7ce6w2lLrYLFEDeXtKeLaSrNp_0vgQ
yESvF8CYaZWtph8b6NJp5RA523UmUGqWdGYVE8l4ER6aWvgQChk4GQThEFBZxlfChgub3aYnUBAi
b036wjJZYRJ62RZKA4JXI3m2NOUjq6Kv2CqSunFkKDiLNY_cFKRhE15ylPtkJ9jAV97gfIdKy6yE
lCbPgiMuAcp_3bficWcRI7cE24_s.RX2sn8d2LcY8GYFFgSYl2V1eolljXEGuI_n0vMtWLp_wiVQ
AdOfDu23ONTDRGN62wduexKu17NWiK0lv7flS66dguNpIpay2maTqS.sGTkadgbX.EvgAj5HJes9
VIyDCJO8msKYg4pXVP9qC0tTveJJVjrBudF67stQDSyORdWejfFEYs0XB7hH3RMMYinq91i8ktQc
bkS9DDSbVBTCUk9c.gs4CMMDQI6kgX4suPiKDh74W1tlrN5ElstYpWxOUiQhn.U.EdceG2DVQEJ6
0_2426FsvNViB_Ce9WAHCfhb3v.8GxPkZsYcBENoXoa3T..Vx84G9XkPB4gboUh3659AOjhsxLHA
VE9FYZoqEv3HSOuXdGcHbmZ6S5dHQPdTD_lXoEpiYyAxa6k9f9Nk7t2WU.aj3sk0kmkTuYqbcI1n
0pZwEXbuz3Mckha8vq3y_hf5jeDSsQnAGPSoolNGkte6BzDaMscmC.nXzqg.XZYrb_PTNIInoqwz
YY8PmHzM.9zY0ZyJ1APa5DrS7BdbvA_nB6Axbu2Q4zdhZERYXFZ0RtA.7hoL1CJvD7SeImYPohag
pHSZYlylZm5hA7vtZBQOXMmk6gdDfr4_pyQrAOK7z.M4S2MFf9bctEJ3Pcd66d26Yx9djtjp8OIG
hKhgsp4vgMqsSF7eMsHTM3GHbMfl01M.LpbqVyTFm1Z07nR8e0oySHb4RPjNtYpjxf0rew4mUSTS
KSs7meMuatRxkzsolH3POLw1RnRK5_m_u1gq6CMQDvrygWxWokUAvDRFsc9SnejLKYEkUX4Ry5tF
TvBvxUkip8DYJ92thnOD6P7qXHiEOL.tmmAmqVyqpEctbLZ88EHU9Q6_28arFvTaPmVej14WIFnH
QXXWlN3MRgDATeY8zOJBs6ulGghk2ogX4c4uyI7ZfW.x27kxanjO9Q.tIPMPz5fTJTloHWMoW9cZ
ucZNLYeLuyId7WurH2v36JUtqP1vkWoUQDEZapTYxsHAVK2PimZbogOO8.T173S40JU9vRkm5pov
sTqKCjkd.iJn6e5NokQISBzoKtGGxWjrv5D5LQ4N3A02pBV817GndJy88xUXBEh8xJmzs9mqQjg0
wsuO3qcY1uk.7vyjkg5.NBTDddYYuxPONL8ajKAl8vg9lO0Ib8a5N0pXbv86jg6oGAMKzajoz33h
X9jLzJdhiHQmJ8nAaLA9dxKzZ73EvFclUNoVHwq0GfGyuN65hLNRg18y4l3V0xSaiznMsSL4ZH65
IDDNnBluuyh90WidOBld151TFGEDZfuq7iC7W3LBfqDHVRgqNaL9Oo3FPfKHgzKHgNxyzUPi17_4
DAa7jwD.do.Ek.o4rX5YplFETID7zR4swnSyrfP_MZhlQojDG3VtAdRi.OZaEPnVh21.FMd_5xAO
XCQRNfJYIRgv0C9dp5d3GNY_C7dN6NfOnhp.NQghSjjNP_Cw7qu6_cxpk4yH18FvNwexIiQrq9Gy
Ji9WzQdLQ01cKm6cH4f1gSYtjpyAPV2CKcl5lfSRGyzXPIj7NeolEcVyoBi.wNd1GW1BmGgm05FC
Dg0e2T8hz
X-Sonic-MF: <marklmi@yahoo.com>
X-Sonic-ID: 6ad2b8dd-20f3-49b4-8ee9-677bff21eecd
Received: from sonic.gate.mail.ne1.yahoo.com by sonic316.consmr.mail.gq1.yahoo.com with HTTP; Sat, 10 Feb 2024 04:13:31 +0000
Received: by hermes--production-gq1-5c57879fdf-hrd4s (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID b6980849aaabe1487b039d52854ae5f2;
Sat, 10 Feb 2024 04:13:26 +0000 (UTC)
From: Mark Millard <marklmi@yahoo.com>
Content-Type: text/plain;
charset=us-ascii
Content-Transfer-Encoding: quoted-printable
List-Id: Porting FreeBSD to ARM processors <freebsd-arm.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-arm
List-Help: <mailto:freebsd-arm+help@freebsd.org>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Subscribe: <mailto:freebsd-arm+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-arm+unsubscribe@freebsd.org>
Sender: owner-freebsd-arm@freebsd.org
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.400.31\))
Subject: Recent commits reject RPi4B booting: pcib0 vs. pcib1
"rman_manage_region: <pcib1 memory window> request" leads to panic
Message-Id: <76AB969F-5BC5-4116-8AF4-3ED2CABEBBA5@yahoo.com>
Date: Fri, 9 Feb 2024 20:13:15 -0800
Cc: John Baldwin <jhb@freebsd.org>,
Warner Losh <imp@bsdimp.com>
To: FreeBSD ARM List <freebsd-arm@freebsd.org>,
Current FreeBSD <freebsd-current@freebsd.org>
X-Mailer: Apple Mail (2.3774.400.31)
References: <76AB969F-5BC5-4116-8AF4-3ED2CABEBBA5.ref@yahoo.com>
X-Spamd-Bar: ---
X-Spamd-Result: default: False [-4.00 / 15.00];
NEURAL_HAM_LONG(-1.00)[-1.000];
NEURAL_HAM_MEDIUM(-1.00)[-1.000];
NEURAL_HAM_SHORT(-1.00)[-1.000];
DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject];
R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048];
R_SPF_ALLOW(-0.20)[+ptr:yahoo.com];
MIME_GOOD(-0.10)[text/plain];
DKIM_TRACE(0.00)[yahoo.com:+];
TO_DN_ALL(0.00)[];
FROM_HAS_DN(0.00)[];
ARC_NA(0.00)[];
DWL_DNSWL_NONE(0.00)[yahoo.com:dkim];
RCVD_TLS_LAST(0.00)[];
FREEMAIL_FROM(0.00)[yahoo.com];
MIME_TRACE(0.00)[0:+];
RCPT_COUNT_THREE(0.00)[4];
ASN(0.00)[asn:36647, ipnet:98.137.64.0/20, country:US];
RCVD_VIA_SMTP_AUTH(0.00)[];
TO_MATCH_ENVRCPT_SOME(0.00)[];
RCVD_COUNT_TWO(0.00)[2];
FROM_EQ_ENVFROM(0.00)[];
FREEMAIL_ENVFROM(0.00)[yahoo.com];
MLMMJ_DEST(0.00)[freebsd-arm@freebsd.org];
APPLE_MAILER_COMMON(0.00)[];
MID_RHS_MATCH_FROM(0.00)[];
RWL_MAILSPIKE_POSSIBLE(0.00)[98.137.69.32:from];
RCVD_IN_DNSWL_NONE(0.00)[98.137.69.32:from]
X-Rspamd-Queue-Id: 4TWy595Zhwz3xGw
Summary:
pcib0: <BCM2838-compatible PCI-express controller> mem =
0x7d500000-0x7d50930f irq 80,81 on simplebus2
pcib0: parsing FDT for ECAM0:
pcib0: PCI addr: 0xc0000000, CPU addr: 0x600000000, Size: 0x40000000
. . .
rman_manage_region: <pcib1 memory window> request: start 0x600000000, =
end 0x6000fffff
panic: Failed to add resource to rman
Detail:
. . .
pcib0: <BCM2838-compatible PCI-express controller> mem =
0x7d500000-0x7d50930f irq 80,81 on simplebus2
pcib0: parsing FDT for ECAM0:
pcib0: PCI addr: 0xc0000000, CPU addr: 0x600000000, Size: 0x40000000
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
pcib0: Bus is not cache-coherent
rman_reserve_resource_bound: <I/O memory addresses> request: =
[0xfd500000, 0xfd50930f], length 0x9310, flags 100, device pcib0
rman_reserve_resource_bound: trying 0x1fff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x1fff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x31bfffff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x33296fff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x39bf1fff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x39c02fff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x39c06fff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x39c07fff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x39c08fff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x39c2afff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x39c36fff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x39c37fff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x3b03ffff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x3b04ffff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x3b2fffff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x3ee61fff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x3ee63fff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0x3fffffff <0xfd500000,0x930f>
rman_reserve_resource_bound: tried 0xfbffffff <0xfd500000,0x930f>
considering [0xfc000000, 0xfd5d1fff]
truncated region: [0xfd500000, 0xfd50930f]; size 0x9310 (requested =
0x9310)
candidate region: [0xfd500000, 0xfd50930f], size 0x9310
splitting region in three parts: [0xfc000000, 0xfd4fffff]; [0xfd500000, =
0xfd50930f]; [0xfd509310, 0xfd5d1fff]
rman_manage_region: <PCIe Memory> request: start 0xc0000000, end =
0xffffffff
pcib0: hardware identifies as revision 0x304.
pcib0: note: reported link speed is 5.0 GT/s.
rman_reserve_resource_bound: <Interrupts> request: [0x51, 0x51], length =
0x1, flags 0, device pcib0
rman_reserve_resource_bound: trying 0 <0x51,0>
rman_reserve_resource_bound: tried 0 <0x51,0>
rman_reserve_resource_bound: tried 0x1 <0x51,0>
rman_reserve_resource_bound: tried 0x2 <0x51,0>
rman_reserve_resource_bound: tried 0x3 <0x51,0>
rman_reserve_resource_bound: tried 0x4 <0x51,0>
rman_reserve_resource_bound: tried 0x5 <0x51,0>
rman_reserve_resource_bound: tried 0x6 <0x51,0>
rman_reserve_resource_bound: tried 0x7 <0x51,0>
rman_reserve_resource_bound: tried 0xc <0x51,0>
rman_reserve_resource_bound: tried 0xd <0x51,0>
rman_reserve_resource_bound: tried 0xe <0x51,0>
rman_reserve_resource_bound: tried 0xf <0x51,0>
rman_reserve_resource_bound: tried 0x10 <0x51,0>
rman_reserve_resource_bound: tried 0x11 <0x51,0>
rman_reserve_resource_bound: tried 0x12 <0x51,0>
rman_reserve_resource_bound: tried 0x17 <0x51,0>
rman_reserve_resource_bound: tried 0x18 <0x51,0>
rman_reserve_resource_bound: tried 0x1a <0x51,0>
rman_reserve_resource_bound: tried 0x1b <0x51,0>
rman_reserve_resource_bound: tried 0x22 <0x51,0>
rman_reserve_resource_bound: tried 0x23 <0x51,0>
rman_reserve_resource_bound: tried 0x24 <0x51,0>
rman_reserve_resource_bound: tried 0x25 <0x51,0>
rman_reserve_resource_bound: tried 0x26 <0x51,0>
rman_reserve_resource_bound: tried 0x27 <0x51,0>
rman_reserve_resource_bound: tried 0x28 <0x51,0>
rman_reserve_resource_bound: tried 0x29 <0x51,0>
rman_reserve_resource_bound: tried 0x4e <0x51,0>
rman_reserve_resource_bound: tried 0x4f <0x51,0>
considering [0x50, 0xffffffffffffffff]
truncated region: [0x51, 0x51]; size 0x1 (requested 0x1)
candidate region: [0x51, 0x51], size 0x1
splitting region in three parts: [0x50, 0x50]; [0x51, 0x51]; [0x52, =
0xffffffffffffffff]
pci0: <OFW PCI bus> on pcib0
rman_manage_region: <PCI domain 0 bus numbers> request: start 0, end =
0xff
rman_reserve_resource_bound: <PCI domain 0 bus numbers> request: [0, 0], =
length 0x1, flags 0, device pci0
rman_reserve_resource_bound: trying 0xff <0,0>
considering [0, 0xff]
truncated region: [0, 0]; size 0x1 (requested 0x1)
candidate region: [0, 0], size 0x1
allocating from the beginning
pci0: domain=3D0, physical bus=3D0
found-> vendor=3D0x14e4, dev=3D0x2711, revid=3D0x00
domain=3D0, bus=3D0, slot=3D0, func=3D0
class=3D06-04-00, hdrtype=3D0x01, mfdev=3D0
cmdreg=3D0x0000, statreg=3D0x0010, cachelnsz=3D0 (dwords)
lattimer=3D0x00 (0 ns), mingnt=3D0x00 (0 ns), maxlat=3D0x00 (0 =
ns)
intpin=3Da, irq=3D0
powerspec 3 supports D0 D3 current D0
secbus=3D1, subbus=3D1
rman_reserve_resource_bound: <PCI domain 0 bus numbers> request: [0x1, =
0x1], length 0x1, flags 0, device (null)
rman_reserve_resource_bound: trying 0 <0x1,0>
rman_reserve_resource_bound: tried 0 <0x1,0>
considering [0x1, 0xff]
truncated region: [0x1, 0x1]; size 0x1 (requested 0x1)
candidate region: [0x1, 0x1], size 0x1
allocating from the beginning
pcib1: <PCI-PCI bridge> irq 91 at device 0.0 on pci0
rman_manage_region: <pcib1 bus numbers> request: start 0x1, end 0x1
pcib0: rman_reserve_resource: start=3D0xc0000000, end=3D0xc00fffff, =
count=3D0x100000
rman_reserve_resource_bound: <PCIe Memory> request: [0xc0000000, =
0xc00fffff], length 0x100000, flags 102, device pcib1
rman_reserve_resource_bound: trying 0xffffffff <0xc0000000,0xfffff>
considering [0xc0000000, 0xffffffff]
truncated region: [0xc0000000, 0xc00fffff]; size 0x100000 (requested =
0x100000)
candidate region: [0xc0000000, 0xc00fffff], size 0x100000
allocating from the beginning
rman_manage_region: <pcib1 memory window> request: start 0x600000000, =
end 0x6000fffff
panic: Failed to add resource to rman
cpuid =3D 0
time =3D 1
KDB: stack backtrace:
db_trace_self() at db_trace_self
db_trace_self_wrapper() at db_trace_self_wrapper+0x38
vpanic() at vpanic+0x1a4
panic() at panic+0x48
pcib_add_window_resources() at pcib_add_window_resources+0xf4
pcib_alloc_window() at pcib_alloc_window+0xfc
pcib_attach_common() at pcib_attach_common+0xa18
pcib_attach() at pcib_attach+0x14
device_attach() at device_attach+0x3fc
device_probe_and_attach() at device_probe_and_attach+0x80
bus_generic_attach() at bus_generic_attach+0x1c
pci_attach() at pci_attach+0xec
device_attach() at device_attach+0x3fc
device_probe_and_attach() at device_probe_and_attach+0x80
bus_generic_attach() at bus_generic_attach+0x1c
device_attach() at device_attach+0x3fc
device_probe_and_attach() at device_probe_and_attach+0x80
bus_generic_new_pass() at bus_generic_new_pass+0x100
bus_generic_new_pass() at bus_generic_new_pass+0xb0
bus_generic_new_pass() at bus_generic_new_pass+0xb0
bus_generic_new_pass() at bus_generic_new_pass+0xb0
bus_set_pass() at bus_set_pass+0x50
mi_startup() at mi_startup+0x1e0
virtdone() at virtdone+0x68
KDB: enter: panic
[ thread pid 0 tid 100000 ]
Stopped at kdb_enter+0x4c: str xzr, [x19, #1280]
db>=20
=3D=3D=3D
Mark Millard
marklmi at yahoo.com
From nobody Sat Feb 10 07:44:05 2024
X-Original-To: freebsd-arm@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TX2mM6p4sz598nf
for <freebsd-arm@mlmmj.nyi.freebsd.org>; Sat, 10 Feb 2024 07:44:19 +0000 (UTC)
(envelope-from bakul@iitbombay.org)
Received: from mail-pf1-x435.google.com (mail-pf1-x435.google.com [IPv6:2607:f8b0:4864:20::435])
(using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256
client-signature RSA-PSS (2048 bits) client-digest SHA256)
(Client CN "smtp.gmail.com", Issuer "GTS CA 1D4" (verified OK))
by mx1.freebsd.org (Postfix) with ESMTPS id 4TX2mM4h55z4NcB
for <freebsd-arm@freebsd.org>; Sat, 10 Feb 2024 07:44:19 +0000 (UTC)
(envelope-from bakul@iitbombay.org)
Authentication-Results: mx1.freebsd.org;
none
Received: by mail-pf1-x435.google.com with SMTP id d2e1a72fcca58-6da202aa138so1188979b3a.2
for <freebsd-arm@freebsd.org>; Fri, 09 Feb 2024 23:44:19 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=iitbombay-org.20230601.gappssmtp.com; s=20230601; t=1707551058; x=1708155858; darn=freebsd.org;
h=to:references:message-id:content-transfer-encoding:cc:date
:in-reply-to:from:subject:mime-version:from:to:cc:subject:date
:message-id:reply-to;
bh=HSJOYKFo1a32jSc4wwK8fl2EJIgK761ceIJLg+zycAQ=;
b=QI9pr2jJ/gdTB2WZy9FlLdRvkfEwpfm/30sCTmOTrgrqDPzEaW/HncLjggLyKVXLX6
FENvrrcfWUpx/OxROa+hUESTjM12paLq6uE3Lx89M9mcLJuYsSl7jaDz6QwcWtpnRU+T
+Ae7p6wgdXThH6WQMNX3qlK7SKVQBvg9oAYda2dH9u+9h63HaV/nzvVEITqW1KgGu2Wg
JBNm0PYOPqBQD9EBsRbE1UgDGkPf1hPIj4VQNb1NT92iUqJNLWG5M2zxjW6nG6ZwYLPx
BbFUuzYdCNMWqubDJyIaoSdShO3ErAIg3ttUcGc0B5Wb9fVgZ2uauUXNI6ZlufeClNEs
O84g==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1707551058; x=1708155858;
h=to:references:message-id:content-transfer-encoding:cc:date
:in-reply-to:from:subject:mime-version:x-gm-message-state:from:to:cc
:subject:date:message-id:reply-to;
bh=HSJOYKFo1a32jSc4wwK8fl2EJIgK761ceIJLg+zycAQ=;
b=qdqAXhSp6a3AYIQBKKNwEcB2AqgTmt5e+YSxHosDvAV4E+gAm5qPvJfB3azzCmVrpr
UyQa2O3Y7azFsyqizm/EzHCL1r/ZBq8NQ4+kpFk3HTBrUznGCApMMwkq5fokdny6RJpV
9au/veFdjVNDa7FftH71qXviAMiGB7wvI71M2fSjLAWGdtLunF63PWMiETgpYYqyRkSW
YaX8ed9zELlslj8k+X1OWzcMGuQSW13tEBz0KHr0ufMw6L/x/Z18QjTZ8gz+MeRPBfLF
Ae0gpSxXNWw5zeQD5xZn3F1StuOY28q8ei6dj/QUpoP92RQ3IHcqrZuZEhdJwheTWNuU
wY6A==
X-Gm-Message-State: AOJu0YznlwCt7/EYUdOEZotuyhpdIrqTPEk0elD0np+k9gOyNrySUfgG
3lwQ05INPAW82QUjh+s45Na0ZZpNZx+xrt9JvVF7s/AS0p/DcVMBR3xN6nMZlA==
X-Google-Smtp-Source: AGHT+IFEEpsbeUgFQ84M7GE8U0ZC8kx7L5FNm6vUl+RekB0hYYqrm1nUtQB6nvHskqlFIOpBvbGJkA==
X-Received: by 2002:a05:6a00:1d1f:b0:6de:3b41:2845 with SMTP id a31-20020a056a001d1f00b006de3b412845mr1911346pfx.32.1707551057978;
Fri, 09 Feb 2024 23:44:17 -0800 (PST)
X-Forwarded-Encrypted: i=1; AJvYcCXz+q7NsJzxIkwrbq+tnIWQbDNdqWJwBBnwq7rk794F5ss+oxskRSCWgl/a+dhF/nbnjQwkm0ruJNeEmReMOScowtc4AOy+uO3mVEieyw2Qssf5PIiAJpBdv68lE3/XcN6iEdaCJ5cnv0PYwSA=
Received: from smtpclient.apple (107-215-223-229.lightspeed.sntcca.sbcglobal.net. [107.215.223.229])
by smtp.gmail.com with ESMTPSA id g7-20020a62e307000000b006e0978bb895sm1704069pfh.68.2024.02.09.23.44.16
(version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128);
Fri, 09 Feb 2024 23:44:17 -0800 (PST)
Content-Type: text/plain;
charset=utf-8
List-Id: Porting FreeBSD to ARM processors <freebsd-arm.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-arm
List-Help: <mailto:freebsd-arm+help@freebsd.org>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Subscribe: <mailto:freebsd-arm+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-arm+unsubscribe@freebsd.org>
Sender: owner-freebsd-arm@freebsd.org
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.400.31\))
Subject: Re: Recent commits reject RPi4B booting: pcib0 vs. pcib1
"rman_manage_region: <pcib1 memory window> request" leads to panic
From: Bakul Shah <bakul@iitbombay.org>
In-Reply-To: <76AB969F-5BC5-4116-8AF4-3ED2CABEBBA5@yahoo.com>
Date: Fri, 9 Feb 2024 23:44:05 -0800
Cc: FreeBSD ARM List <freebsd-arm@freebsd.org>,
Current FreeBSD <freebsd-current@freebsd.org>,
John Baldwin <jhb@freebsd.org>,
Warner Losh <imp@bsdimp.com>
Content-Transfer-Encoding: quoted-printable
Message-Id: <2FE8FA48-180B-4F0D-BCD8-F7F33053B0F7@iitbombay.org>
References: <76AB969F-5BC5-4116-8AF4-3ED2CABEBBA5.ref@yahoo.com>
<76AB969F-5BC5-4116-8AF4-3ED2CABEBBA5@yahoo.com>
To: Mark Millard <marklmi@yahoo.com>
X-Mailer: Apple Mail (2.3774.400.31)
X-Spamd-Result: default: False [-4.00 / 15.00];
REPLY(-4.00)[];
ASN(0.00)[asn:15169, ipnet:2607:f8b0::/32, country:US]
X-Rspamd-Queue-Id: 4TX2mM4h55z4NcB
X-Spamd-Bar: ----
X-Rspamd-Pre-Result: action=no action;
module=replies;
Message is reply to one we originated
$ git bisect good
b377ff8110e3489eb6e6b920b51a2384dfc4eb0b is the first bad commit
> On Feb 9, 2024, at 8:13=E2=80=AFPM, Mark Millard <marklmi@yahoo.com> =
wrote:
>=20
> Summary:
>=20
> pcib0: <BCM2838-compatible PCI-express controller> mem =
0x7d500000-0x7d50930f irq 80,81 on simplebus2
> pcib0: parsing FDT for ECAM0:
> pcib0: PCI addr: 0xc0000000, CPU addr: 0x600000000, Size: 0x40000000
> . .
> rman_manage_region: <pcib1 memory window> request: start 0x600000000, =
end 0x6000fffff
> panic: Failed to add resource to rman
>=20
>=20
> Detail:
>=20
>=20
> . .
> pcib0: <BCM2838-compatible PCI-express controller> mem =
0x7d500000-0x7d50930f irq 80,81 on simplebus2
> pcib0: parsing FDT for ECAM0:
> pcib0: PCI addr: 0xc0000000, CPU addr: 0x600000000, Size: 0x40000000
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
> pcib0: Bus is not cache-coherent
> rman_reserve_resource_bound: <I/O memory addresses> request: =
[0xfd500000, 0xfd50930f], length 0x9310, flags 100, device pcib0
> rman_reserve_resource_bound: trying 0x1fff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x1fff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x31bfffff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x33296fff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x39bf1fff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x39c02fff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x39c06fff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x39c07fff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x39c08fff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x39c2afff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x39c36fff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x39c37fff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x3b03ffff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x3b04ffff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x3b2fffff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x3ee61fff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x3ee63fff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0x3fffffff <0xfd500000,0x930f>
> rman_reserve_resource_bound: tried 0xfbffffff <0xfd500000,0x930f>
> considering [0xfc000000, 0xfd5d1fff]
> truncated region: [0xfd500000, 0xfd50930f]; size 0x9310 (requested =
0x9310)
> candidate region: [0xfd500000, 0xfd50930f], size 0x9310
> splitting region in three parts: [0xfc000000, 0xfd4fffff]; =
[0xfd500000, 0xfd50930f]; [0xfd509310, 0xfd5d1fff]
> rman_manage_region: <PCIe Memory> request: start 0xc0000000, end =
0xffffffff
> pcib0: hardware identifies as revision 0x304.
> pcib0: note: reported link speed is 5.0 GT/s.
> rman_reserve_resource_bound: <Interrupts> request: [0x51, 0x51], =
length 0x1, flags 0, device pcib0
> rman_reserve_resource_bound: trying 0 <0x51,0>
> rman_reserve_resource_bound: tried 0 <0x51,0>
> rman_reserve_resource_bound: tried 0x1 <0x51,0>
> rman_reserve_resource_bound: tried 0x2 <0x51,0>
> rman_reserve_resource_bound: tried 0x3 <0x51,0>
> rman_reserve_resource_bound: tried 0x4 <0x51,0>
> rman_reserve_resource_bound: tried 0x5 <0x51,0>
> rman_reserve_resource_bound: tried 0x6 <0x51,0>
> rman_reserve_resource_bound: tried 0x7 <0x51,0>
> rman_reserve_resource_bound: tried 0xc <0x51,0>
> rman_reserve_resource_bound: tried 0xd <0x51,0>
> rman_reserve_resource_bound: tried 0xe <0x51,0>
> rman_reserve_resource_bound: tried 0xf <0x51,0>
> rman_reserve_resource_bound: tried 0x10 <0x51,0>
> rman_reserve_resource_bound: tried 0x11 <0x51,0>
> rman_reserve_resource_bound: tried 0x12 <0x51,0>
> rman_reserve_resource_bound: tried 0x17 <0x51,0>
> rman_reserve_resource_bound: tried 0x18 <0x51,0>
> rman_reserve_resource_bound: tried 0x1a <0x51,0>
> rman_reserve_resource_bound: tried 0x1b <0x51,0>
> rman_reserve_resource_bound: tried 0x22 <0x51,0>
> rman_reserve_resource_bound: tried 0x23 <0x51,0>
> rman_reserve_resource_bound: tried 0x24 <0x51,0>
> rman_reserve_resource_bound: tried 0x25 <0x51,0>
> rman_reserve_resource_bound: tried 0x26 <0x51,0>
> rman_reserve_resource_bound: tried 0x27 <0x51,0>
> rman_reserve_resource_bound: tried 0x28 <0x51,0>
> rman_reserve_resource_bound: tried 0x29 <0x51,0>
> rman_reserve_resource_bound: tried 0x4e <0x51,0>
> rman_reserve_resource_bound: tried 0x4f <0x51,0>
> considering [0x50, 0xffffffffffffffff]
> truncated region: [0x51, 0x51]; size 0x1 (requested 0x1)
> candidate region: [0x51, 0x51], size 0x1
> splitting region in three parts: [0x50, 0x50]; [0x51, 0x51]; [0x52, =
0xffffffffffffffff]
> pci0: <OFW PCI bus> on pcib0
> rman_manage_region: <PCI domain 0 bus numbers> request: start 0, end =
0xff
> rman_reserve_resource_bound: <PCI domain 0 bus numbers> request: [0, =
0], length 0x1, flags 0, device pci0
> rman_reserve_resource_bound: trying 0xff <0,0>
> considering [0, 0xff]
> truncated region: [0, 0]; size 0x1 (requested 0x1)
> candidate region: [0, 0], size 0x1
> allocating from the beginning
> pci0: domain=3D0, physical bus=3D0
> found-> vendor=3D0x14e4, dev=3D0x2711, revid=3D0x00
> domain=3D0, bus=3D0, slot=3D0, func=3D0
> class=3D06-04-00, hdrtype=3D0x01, mfdev=3D0
> cmdreg=3D0x0000, statreg=3D0x0010, cachelnsz=3D0 (dwords)
> lattimer=3D0x00 (0 ns), mingnt=3D0x00 (0 ns), maxlat=3D0x00 (0 ns)
> intpin=3Da, irq=3D0
> powerspec 3 supports D0 D3 current D0
> secbus=3D1, subbus=3D1
> rman_reserve_resource_bound: <PCI domain 0 bus numbers> request: [0x1, =
0x1], length 0x1, flags 0, device (null)
> rman_reserve_resource_bound: trying 0 <0x1,0>
> rman_reserve_resource_bound: tried 0 <0x1,0>
> considering [0x1, 0xff]
> truncated region: [0x1, 0x1]; size 0x1 (requested 0x1)
> candidate region: [0x1, 0x1], size 0x1
> allocating from the beginning
> pcib1: <PCI-PCI bridge> irq 91 at device 0.0 on pci0
> rman_manage_region: <pcib1 bus numbers> request: start 0x1, end 0x1
> pcib0: rman_reserve_resource: start=3D0xc0000000, end=3D0xc00fffff, =
count=3D0x100000
> rman_reserve_resource_bound: <PCIe Memory> request: [0xc0000000, =
0xc00fffff], length 0x100000, flags 102, device pcib1
> rman_reserve_resource_bound: trying 0xffffffff <0xc0000000,0xfffff>
> considering [0xc0000000, 0xffffffff]
> truncated region: [0xc0000000, 0xc00fffff]; size 0x100000 (requested =
0x100000)
> candidate region: [0xc0000000, 0xc00fffff], size 0x100000
> allocating from the beginning
> rman_manage_region: <pcib1 memory window> request: start 0x600000000, =
end 0x6000fffff
> panic: Failed to add resource to rman
> cpuid =3D 0
> time =3D 1
> KDB: stack backtrace:
> db_trace_self() at db_trace_self
> db_trace_self_wrapper() at db_trace_self_wrapper+0x38
> vpanic() at vpanic+0x1a4
> panic() at panic+0x48
> pcib_add_window_resources() at pcib_add_window_resources+0xf4
> pcib_alloc_window() at pcib_alloc_window+0xfc
> pcib_attach_common() at pcib_attach_common+0xa18
> pcib_attach() at pcib_attach+0x14
> device_attach() at device_attach+0x3fc
> device_probe_and_attach() at device_probe_and_attach+0x80
> bus_generic_attach() at bus_generic_attach+0x1c
> pci_attach() at pci_attach+0xec
> device_attach() at device_attach+0x3fc
> device_probe_and_attach() at device_probe_and_attach+0x80
> bus_generic_attach() at bus_generic_attach+0x1c
> device_attach() at device_attach+0x3fc
> device_probe_and_attach() at device_probe_and_attach+0x80
> bus_generic_new_pass() at bus_generic_new_pass+0x100
> bus_generic_new_pass() at bus_generic_new_pass+0xb0
> bus_generic_new_pass() at bus_generic_new_pass+0xb0
> bus_generic_new_pass() at bus_generic_new_pass+0xb0
> bus_set_pass() at bus_set_pass+0x50
> mi_startup() at mi_startup+0x1e0
> virtdone() at virtdone+0x68
> KDB: enter: panic
> [ thread pid 0 tid 100000 ]
> Stopped at kdb_enter+0x4c: str xzr, [x19, #1280]
> db>=20
>=20
> =3D=3D=3D
> Mark Millard
> marklmi at yahoo.com
>=20
>=20
From nobody Sat Feb 10 18:04:37 2024
X-Original-To: freebsd-arm@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TXJXJ5FMWz5B55v
for <freebsd-arm@mlmmj.nyi.freebsd.org>; Sat, 10 Feb 2024 18:04:48 +0000 (UTC)
(envelope-from marklmi@yahoo.com)
Received: from sonic309-21.consmr.mail.gq1.yahoo.com (sonic309-21.consmr.mail.gq1.yahoo.com [98.137.65.147])
(using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
(Client did not present a certificate)
by mx1.freebsd.org (Postfix) with ESMTPS id 4TXJXJ2Fqnz46Pn
for <freebsd-arm@freebsd.org>; Sat, 10 Feb 2024 18:04:48 +0000 (UTC)
(envelope-from marklmi@yahoo.com)
Authentication-Results: mx1.freebsd.org;
none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707588286; bh=xGS15oMLb2rtIa1Yj3Bz7vwb9dBukxQZXzwgAcP3UyY=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From:Subject:Reply-To; b=K5pG3E9bIWqQ8zfpSEryCGWRUPVjGWVgWgKLduOJrvIqfdHI+l+RQIFWcLBLhc/T8Rw1j7qTHBPNrzxgbmf1G6ATa0qPpG+BbalMnTrpOTWUscGX6TQJrjOSHm4Z2ha+RYj2aGV2/ROcgOvKnKPpfjby9x6zve2qI7orfRoFafEd0gnu21autK3B5AU4U0cFeE+itgt/Qhqzjxe+YpoY/CNwblHAQb6hdFwidY/3SBn6NWuZ4XOTb/59551DqIyH+5NIZsBjyw2rdYZBdteqYrtgLtS+MtZstyavZ9EBcNRSMhpFDRv2bnNe6oFMYZHOT4Mbc+71Riz2gYiJYH7+vw==
X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707588286; bh=8RsQZoTKgzLptUqWGDWP8eSZkkTNqY4PV7Ijg/EEypN=; h=X-Sonic-MF:Subject:From:Date:To:From:Subject; b=VnD9EcZaaVFdsYIEeO7DRo+/GLq+0uDfdeo0fiVxfVcu0tFRuXo0/PT0aFLCT8LSreE87ITVJbgrsneXAhUcffwM4ZbkSzw68H5S/eAk40BbR+MslbCxHNM3/25F8UH4ZM9rTZgcLtgIABu/0I9x9V4GudxvtBjysNwUTVSgR/kZkIWX8swx8jpkL216cWCbEVcom2qlo2eOhaOqGDyQY3r+Z2ouaOgcTbLjuVLdJ/+qmSWkCKXpXxmYK7g6KwChXMHE2lfteLOhO/GwvG53/BoArhvZVp7ke3TMfEzFZul4GOTb9L+NPA13kctRljeyilEffMOBEuqFHDHNbVBdFg==
X-YMail-OSG: CcQ.E5YVM1mLaHHxU2JSyflw4fwVWhhq8C7TiDS_.h7DhQgf7huedUV_YlXGmVb
RCjI39x7ngXt03dtB2SkeU3Wj8HaeRH3jAuBRZs.8eolYuQtpA8CRBYsb32zN2COFsFqECQdU5gz
AKOPs3G6sB0d7CWD1.AhrBFYdufrAexfjQ_53XZUmW74Cs4K0rFDsmWg9FlFaftOoAB.EFO2vSCe
W4n3li8LkOJzLzkhhrM7szX3FKF_ZBRjnq.s12.FPbzOwE5Lcn5M5f4Zs6YQswoAQDbEN.xzaY1i
Q6JcBimXOqk1T.L9TFFOrL4rexwoMc11oNJ_tXIps8X9AiTW.B1e7KfJPSpP72gPboRCvxo7O1mJ
w2NlW6z4u.Y.nbtoWbu.3T5bNVHe_vHaomiShymQjgJJ1_LUraT5zd.QVVBh4X1hmOJ4wbVxVXJp
DvfMzSyBy_dyahz7rh.R1znOOdb7iqL1UkbMA7qCg6MkbNSYP5a4HUtNdmBXOtuR0_op59MMpXXj
7kO_2NPYei_ZFQyUpRLN.VJ2BY.MTm03PegTazBWueQzRfNSfTcqT1T2xjlmsu_FovTTH88xK2sJ
RUIKSW39T6UfXtDhBJL5gSLRNuqz_ukSxCosG0Th9lDW7e..Lw0LNXpxPr4VqyIiPxjjH7iSaPvf
AcwNHDvO.39FlOwdPEn.qfsLBASCWh8mDgDuIia1dkSCNIfPzF._ceDGDEEYW1ToK_GGR3htwFlk
ig9zmHRIdrlqU6HbTVilvQsa9FkJv.OyLrM.cspVs2WXLRlPYqZduzDu33NTs5V2D9OEvBXe.aeD
Eb4WFgh9MPmlYPnwD3ETITnrB1oUAutHsQsPomIWVmuxE.GHXCYkR3bhwzRDuHcbiQJp6T7GdWsX
Xbb1tnfJvVmBQl.m.chxztcCrNrGUq7kFy2vaTiYelzKVLwcEs5JFb.xDssnbHYhPH9rBipQ8.Ck
NmcXrA7g.2XBqKcyvcm7rwdMstCYx_sviOU.asYoIqpRJ3NK8eXWJPoKvP4P3jwZncdvwS0kbu3y
5PBRDEye4on5Ci_tJZDX6VOPnyMBgKdAeazdARj1kJUUESu7HBpJx9IhN1kDKqZmcTD6ZF5n7sau
nLkDjI3VI_YJXspdYKHOCZC1TntQy8YILDp73KYy8jT_cPcrOTJ3iw3mhszvI4v8hUvazurtibk5
n3cW10vvEbVxLzwFClS4INQXPADXHeM69HHTcgUveme6dM12c8C_2G_MgVmbH2hNFFATyF72pwxo
oxaNA_gMkfxLyxAEP7joUFMmqqggyzrD5osq5jxPnnoU5oWn84Hwgg8sgOtyM_ow_1AihlCD858q
BHEXjozn1Yw66V4xUlXYhzPeG_HV15_.xrPL_7JS2I_Ek9D1jkSFrlPyitAaFmHyPSh2u9wybERu
njdisingOkWuOpYVAMA_6r4y6Fzhd1e6uiogkp_wJBusOh6FVOMFCveV1Qhd8U64JFuR6MxA9zrH
sRbEzQkpkoIWuQcX9SX.RkQi_N4c7J_ipDsM3J1yx9_e7R.uSNbVncvBucvLUXwe_TQV9w4lmsee
Z0ckwxRCVUDmNL.Db4sqeB2iBzgTjJct5ENhTdF6PXDzUnKgkWJ9d0rk3aTvjFPEY61DJR8N7AF9
ma6KCOapr1uCmdez5puuU8VV6tQ1KD55k1fiPaOEAUHe5fuIJvkShB7GdhKbnLhk4VuBuEcB8q.f
BmX32bX6f8GR9MpD6y_Vjl9.T9LRg_MBA4PvUp1Z6yeizuKRWKvcPqSbhyHP94jJA4J4GeuDoQ3Q
VC8zrBJiUPKjHVqi9vqr.A9729PHnqQBBibv7gyV6uEnG6nJCKEv1lYOziqZNU3p6M6DQ23rn2Br
_RPyXO0KsWxi7f2OIyuyUByfaQ6QS2B58HtXJXivnpTh71bvs1di2AdsjeWUtUTGGOgoiHotlgsA
pAjiCjuj4zPZ7gSB2ff.rP8KUTmIS9oEq0p_waPTz1QgPPUKK3XvT83ekVADRzdUW9YTGnIq2c_j
AmVr0VxZUq3zrL1VueE8v_37wjuqlhbCOpdXxlCxt1CDpukzxyOWIxW1Y4D00.Y3MiMWRJTvZKuH
1fMBDu2PFPrjW6KukUd0Kkp_FF8uhkt3jp1sGCMTe8CDS5WsTbkFmB4eS.dIhd1cjQyF5g0PMAPa
hUCn05scBkpNSY60NqBXmdfaLfyS85AGzC0i9bNJTMpXZKVXfo2WxBRTl9wssvvJd.Hx99G6777h
yH7qRqp2g9tv7JyTTYTn_txhkuYLdfC.0g3qLbIAWovEVO55RtrlixhRISom.uox9xcRhrAHZ3El
oMoMqn309ptC4CmtXO4fOpmvfRLjF3w--
X-Sonic-MF: <marklmi@yahoo.com>
X-Sonic-ID: 39b70c62-a369-4f96-ba36-4172a0d5de37
Received: from sonic.gate.mail.ne1.yahoo.com by sonic309.consmr.mail.gq1.yahoo.com with HTTP; Sat, 10 Feb 2024 18:04:46 +0000
Received: by hermes--production-gq1-5c57879fdf-8lthq (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID 582860a2ede8cd9f4e7dedbc5f423cf3;
Sat, 10 Feb 2024 18:04:40 +0000 (UTC)
Content-Type: text/plain;
charset=utf-8
List-Id: Porting FreeBSD to ARM processors <freebsd-arm.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-arm
List-Help: <mailto:freebsd-arm+help@freebsd.org>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Subscribe: <mailto:freebsd-arm+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-arm+unsubscribe@freebsd.org>
Sender: owner-freebsd-arm@freebsd.org
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.400.31\))
Subject: Re: Recent commits reject RPi4B booting: pcib0 vs. pcib1
"rman_manage_region: <pcib1 memory window> request" leads to panic
From: Mark Millard <marklmi@yahoo.com>
In-Reply-To: <2FE8FA48-180B-4F0D-BCD8-F7F33053B0F7@iitbombay.org>
Date: Sat, 10 Feb 2024 10:04:37 -0800
Cc: John Baldwin <jhb@freebsd.org>,
Warner Losh <imp@bsdimp.com>,
Bakul Shah <bakul@iitbombay.org>
Content-Transfer-Encoding: quoted-printable
Message-Id: <986D2CD6-6241-4EBE-8BD2-9821AB693BA7@yahoo.com>
References: <76AB969F-5BC5-4116-8AF4-3ED2CABEBBA5.ref@yahoo.com>
<76AB969F-5BC5-4116-8AF4-3ED2CABEBBA5@yahoo.com>
<2FE8FA48-180B-4F0D-BCD8-F7F33053B0F7@iitbombay.org>
To: FreeBSD ARM List <freebsd-arm@freebsd.org>,
Current FreeBSD <freebsd-current@freebsd.org>
X-Mailer: Apple Mail (2.3774.400.31)
X-Spamd-Result: default: False [-4.00 / 15.00];
REPLY(-4.00)[];
ASN(0.00)[asn:36647, ipnet:98.137.64.0/20, country:US]
X-Rspamd-Queue-Id: 4TXJXJ2Fqnz46Pn
X-Spamd-Bar: ----
X-Rspamd-Pre-Result: action=no action;
module=replies;
Message is reply to one we originated
On Feb 9, 2024, at 23:44, Bakul Shah <bakul@iitbombay.org> wrote:
> $ git bisect good
> b377ff8110e3489eb6e6b920b51a2384dfc4eb0b is the first bad commit
>=20
>> On Feb 9, 2024, at 8:13=E2=80=AFPM, Mark Millard <marklmi@yahoo.com> =
wrote:
>>=20
>> Summary:
>>=20
>> pcib0: <BCM2838-compatible PCI-express controller> mem =
0x7d500000-0x7d50930f irq 80,81 on simplebus2
>> pcib0: parsing FDT for ECAM0:
>> pcib0: PCI addr: 0xc0000000, CPU addr: 0x600000000, Size: 0x40000000
>> . .
>> rman_manage_region: <pcib1 memory window> request: start 0x600000000, =
end 0x6000fffff
>> panic: Failed to add resource to rman
>>=20
>>=20
>> Detail:
>>=20
>>=20
>> . .
>> pcib0: <BCM2838-compatible PCI-express controller> mem =
0x7d500000-0x7d50930f irq 80,81 on simplebus2
>> pcib0: parsing FDT for ECAM0:
>> pcib0: PCI addr: 0xc0000000, CPU addr: 0x600000000, Size: 0x40000000
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: PCI addr: 0x0, CPU addr: 0x0, Size: 0x0
>> pcib0: Bus is not cache-coherent
>> rman_reserve_resource_bound: <I/O memory addresses> request: =
[0xfd500000, 0xfd50930f], length 0x9310, flags 100, device pcib0
>> rman_reserve_resource_bound: trying 0x1fff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x1fff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x31bfffff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x33296fff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x39bf1fff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x39c02fff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x39c06fff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x39c07fff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x39c08fff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x39c2afff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x39c36fff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x39c37fff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x3b03ffff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x3b04ffff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x3b2fffff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x3ee61fff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x3ee63fff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0x3fffffff <0xfd500000,0x930f>
>> rman_reserve_resource_bound: tried 0xfbffffff <0xfd500000,0x930f>
>> considering [0xfc000000, 0xfd5d1fff]
>> truncated region: [0xfd500000, 0xfd50930f]; size 0x9310 (requested =
0x9310)
>> candidate region: [0xfd500000, 0xfd50930f], size 0x9310
>> splitting region in three parts: [0xfc000000, 0xfd4fffff]; =
[0xfd500000, 0xfd50930f]; [0xfd509310, 0xfd5d1fff]
>> rman_manage_region: <PCIe Memory> request: start 0xc0000000, end =
0xffffffff
>> pcib0: hardware identifies as revision 0x304.
>> pcib0: note: reported link speed is 5.0 GT/s.
>> rman_reserve_resource_bound: <Interrupts> request: [0x51, 0x51], =
length 0x1, flags 0, device pcib0
>> rman_reserve_resource_bound: trying 0 <0x51,0>
>> rman_reserve_resource_bound: tried 0 <0x51,0>
>> rman_reserve_resource_bound: tried 0x1 <0x51,0>
>> rman_reserve_resource_bound: tried 0x2 <0x51,0>
>> rman_reserve_resource_bound: tried 0x3 <0x51,0>
>> rman_reserve_resource_bound: tried 0x4 <0x51,0>
>> rman_reserve_resource_bound: tried 0x5 <0x51,0>
>> rman_reserve_resource_bound: tried 0x6 <0x51,0>
>> rman_reserve_resource_bound: tried 0x7 <0x51,0>
>> rman_reserve_resource_bound: tried 0xc <0x51,0>
>> rman_reserve_resource_bound: tried 0xd <0x51,0>
>> rman_reserve_resource_bound: tried 0xe <0x51,0>
>> rman_reserve_resource_bound: tried 0xf <0x51,0>
>> rman_reserve_resource_bound: tried 0x10 <0x51,0>
>> rman_reserve_resource_bound: tried 0x11 <0x51,0>
>> rman_reserve_resource_bound: tried 0x12 <0x51,0>
>> rman_reserve_resource_bound: tried 0x17 <0x51,0>
>> rman_reserve_resource_bound: tried 0x18 <0x51,0>
>> rman_reserve_resource_bound: tried 0x1a <0x51,0>
>> rman_reserve_resource_bound: tried 0x1b <0x51,0>
>> rman_reserve_resource_bound: tried 0x22 <0x51,0>
>> rman_reserve_resource_bound: tried 0x23 <0x51,0>
>> rman_reserve_resource_bound: tried 0x24 <0x51,0>
>> rman_reserve_resource_bound: tried 0x25 <0x51,0>
>> rman_reserve_resource_bound: tried 0x26 <0x51,0>
>> rman_reserve_resource_bound: tried 0x27 <0x51,0>
>> rman_reserve_resource_bound: tried 0x28 <0x51,0>
>> rman_reserve_resource_bound: tried 0x29 <0x51,0>
>> rman_reserve_resource_bound: tried 0x4e <0x51,0>
>> rman_reserve_resource_bound: tried 0x4f <0x51,0>
>> considering [0x50, 0xffffffffffffffff]
>> truncated region: [0x51, 0x51]; size 0x1 (requested 0x1)
>> candidate region: [0x51, 0x51], size 0x1
>> splitting region in three parts: [0x50, 0x50]; [0x51, 0x51]; [0x52, =
0xffffffffffffffff]
>> pci0: <OFW PCI bus> on pcib0
>> rman_manage_region: <PCI domain 0 bus numbers> request: start 0, end =
0xff
>> rman_reserve_resource_bound: <PCI domain 0 bus numbers> request: [0, =
0], length 0x1, flags 0, device pci0
>> rman_reserve_resource_bound: trying 0xff <0,0>
>> considering [0, 0xff]
>> truncated region: [0, 0]; size 0x1 (requested 0x1)
>> candidate region: [0, 0], size 0x1
>> allocating from the beginning
>> pci0: domain=3D0, physical bus=3D0
>> found-> vendor=3D0x14e4, dev=3D0x2711, revid=3D0x00
>> domain=3D0, bus=3D0, slot=3D0, func=3D0
>> class=3D06-04-00, hdrtype=3D0x01, mfdev=3D0
>> cmdreg=3D0x0000, statreg=3D0x0010, cachelnsz=3D0 (dwords)
>> lattimer=3D0x00 (0 ns), mingnt=3D0x00 (0 ns), maxlat=3D0x00 (0 ns)
>> intpin=3Da, irq=3D0
>> powerspec 3 supports D0 D3 current D0
>> secbus=3D1, subbus=3D1
>> rman_reserve_resource_bound: <PCI domain 0 bus numbers> request: =
[0x1, 0x1], length 0x1, flags 0, device (null)
>> rman_reserve_resource_bound: trying 0 <0x1,0>
>> rman_reserve_resource_bound: tried 0 <0x1,0>
>> considering [0x1, 0xff]
>> truncated region: [0x1, 0x1]; size 0x1 (requested 0x1)
>> candidate region: [0x1, 0x1], size 0x1
>> allocating from the beginning
>> pcib1: <PCI-PCI bridge> irq 91 at device 0.0 on pci0
Looking at an old log shows that the next normal output was:
pcib0: rman_reserve_resource: start=3D0xc0000000, end=3D0xc00fffff, =
count=3D0x100000
and somewhat later there was:
pcib1: allocated memory range (0xc0000000-0xc0000fff) for rid 10 of =
bcm_xhci0
I'll give more text at the end of this message. Basically the
sequence is assocaited with xhci0. The count=3D0x100000 looks
to be from the reg for xhci@7e9c0000.
scb {
compatible =3D "simple-bus";
#address-cells =3D <0x00000002>;
#size-cells =3D <0x00000002>;
ranges =3D <0x00000000 0x7c000000 0x00000000 0xfc000000 =
0x00000000 0x03800000 0x00000000 0x40000000 0x00000000 0xff800000 =
0x00000000 0x00800000 0x00000006 0x00000000 0x00000006 0x00000000 =
0x00000000 0x40000000 0x00000000 0x00000000 0x00000000 0x00000000 =
0x00000000 0xfc000000>;
dma-ranges =3D <0x00000000 0x00000000 0x00000000 =
0x00000000 0x00000004 0x00000000>;
phandle =3D <0x000000d6>;
pcie@7d500000 {
compatible =3D "brcm,bcm2711-pcie", =
"brcm,bcm7445-pcie";
reg =3D <0x00000000 0x7d500000 0x00000000 =
0x00009310>;
device_type =3D "pci";
#address-cells =3D <0x00000003>;
#interrupt-cells =3D <0x00000001>;
#size-cells =3D <0x00000002>;
interrupts =3D <0x00000000 0x00000094 0x00000004 =
0x00000000 0x00000094 0x00000004>;
interrupt-names =3D "pcie", "msi";
interrupt-map-mask =3D <0x00000000 0x00000000 =
0x00000000 0x00000007>;
interrupt-map =3D <0x00000000 0x00000000 =
0x00000000 0x00000001 0x00000001 0x00000000 0x0000008f 0x00000004>;
msi-controller;
msi-parent =3D <0x0000002c>;
ranges =3D <0x02000000 0x00000000 0xc0000000 =
0x00000006 0x00000000 0x00000000 0x40000000>;
dma-ranges =3D <0x02000000 0x00000004 0x00000000 =
0x00000000 0x00000000 0x00000002 0x00000000>;
brcm,enable-ssc;
phandle =3D <0x0000002c>;
pci@1,0 {
#address-cells =3D <0x00000003>;
#size-cells =3D <0x00000002>;
ranges;
reg =3D <0x00000000 0x00000000 =
0x00000000 0x00000000 0x00000000>;
usb@1,0 {
reg =3D <0x00010000 0x00000000 =
0x00000000 0x00000000 0x00000000>;
resets =3D <0x0000002d =
0x00000000>;
};
};
};
. . .
xhci@7e9c0000 {
compatible =3D "generic-xhci";
status =3D "disabled";
reg =3D <0x00000000 0x7e9c0000 0x00000000 =
0x00100000>;
interrupts =3D <0x00000000 0x000000b0 =
0x00000004>;
power-domains =3D <0x00000013 0x00000006>;
phandle =3D <0x000000d9>;
};
Note the lack of nesting of xhci@7e9c0000 relative to
pcie@7d50000 .
>> rman_manage_region: <pcib1 bus numbers> request: start 0x1, end 0x1
>> pcib0: rman_reserve_resource: start=3D0xc0000000, end=3D0xc00fffff, =
count=3D0x100000
>> rman_reserve_resource_bound: <PCIe Memory> request: [0xc0000000, =
0xc00fffff], length 0x100000, flags 102, device pcib1
>> rman_reserve_resource_bound: trying 0xffffffff <0xc0000000,0xfffff>
>> considering [0xc0000000, 0xffffffff]
>> truncated region: [0xc0000000, 0xc00fffff]; size 0x100000 (requested =
0x100000)
>> candidate region: [0xc0000000, 0xc00fffff], size 0x100000
>> allocating from the beginning
>> rman_manage_region: <pcib1 memory window> request: start 0x600000000, =
end 0x6000fffff
>> panic: Failed to add resource to rman
>> cpuid =3D 0
>> time =3D 1
>> KDB: stack backtrace:
>> db_trace_self() at db_trace_self
>> db_trace_self_wrapper() at db_trace_self_wrapper+0x38
>> vpanic() at vpanic+0x1a4
>> panic() at panic+0x48
>> pcib_add_window_resources() at pcib_add_window_resources+0xf4
>> pcib_alloc_window() at pcib_alloc_window+0xfc
>> pcib_attach_common() at pcib_attach_common+0xa18
>> pcib_attach() at pcib_attach+0x14
>> device_attach() at device_attach+0x3fc
>> device_probe_and_attach() at device_probe_and_attach+0x80
>> bus_generic_attach() at bus_generic_attach+0x1c
>> pci_attach() at pci_attach+0xec
>> device_attach() at device_attach+0x3fc
>> device_probe_and_attach() at device_probe_and_attach+0x80
>> bus_generic_attach() at bus_generic_attach+0x1c
>> device_attach() at device_attach+0x3fc
>> device_probe_and_attach() at device_probe_and_attach+0x80
>> bus_generic_new_pass() at bus_generic_new_pass+0x100
>> bus_generic_new_pass() at bus_generic_new_pass+0xb0
>> bus_generic_new_pass() at bus_generic_new_pass+0xb0
>> bus_generic_new_pass() at bus_generic_new_pass+0xb0
>> bus_set_pass() at bus_set_pass+0x50
>> mi_startup() at mi_startup+0x1e0
>> virtdone() at virtdone+0x68
>> KDB: enter: panic
>> [ thread pid 0 tid 100000 ]
>> Stopped at kdb_enter+0x4c: str xzr, [x19, #1280]
>> db>
>=20
>=20
For reference from an old log:
pcib1: <PCI-PCI bridge> irq 91 at device 0.0 on pci0
pcib0: rman_reserve_resource: start=3D0xc0000000, end=3D0xc00fffff, =
count=3D0x100000
pcib1: domain 0
pcib1: secondary bus 1
pcib1: subordinate bus 1
pcib1: memory decode 0xc0000000-0xc00fffff
pci1: <OFW PCI bus> on pcib1
pcib1: allocated bus range (1-1) for rid 0 of pci1
pci1: domain=3D0, physical bus=3D1
found-> vendor=3D0x1106, dev=3D0x3483, revid=3D0x01
domain=3D0, bus=3D1, slot=3D0, func=3D0
class=3D0c-03-30, hdrtype=3D0x00, mfdev=3D0
cmdreg=3D0x0000, statreg=3D0x0010, cachelnsz=3D0 (dwords)
lattimer=3D0x00 (0 ns), mingnt=3D0x00 (0 ns), maxlat=3D0x00 (0 =
ns)
intpin=3Da, irq=3D0
powerspec 3 supports D0 D3 current D0
MSI supports 4 messages, 64 bit
map[10]: type Memory, range 64, base 0, size 12, memory disabled
pcib1: slot 0 INTA is routed to irq 92
bcm_xhci0: <VL805 USB 3.0 controller (on the Raspberry Pi 4b)> irq 92 at =
device 0.0 on pci1
bcm_xhci0: note: xhci firmware not found.
bcm_xhci0: note: installing xhci firmware.
bcm_xhci0: note: xhci firmware detected; firmware is revision 138a1.
pcib1: allocated memory range (0xc0000000-0xc0000fff) for rid 10 of =
bcm_xhci0
bcm_xhci0: Lazy allocation of 0x1000 bytes rid 0x10 type 3 at 0xc0000000
bcm_xhci0: 32 bytes context size, 64-bit DMA
bcm_xhci0: attempting to allocate 1 MSI vectors (4 supported)
bcm_xhci0: using IRQ 93 for MSI
bcm_xhci0: MSI enabled
bcm_xhci0: (New XHCI DeviceId=3D0x34831106)
usbus0 on bcm_xhci0
bcm_xhci0: usbpf: Attached
=3D=3D=3D
Mark Millard
marklmi at yahoo.com
From nobody Sun Feb 11 05:22:50 2024
X-Original-To: freebsd-arm@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TXbb13zsHz59S5K
for <freebsd-arm@mlmmj.nyi.freebsd.org>; Sun, 11 Feb 2024 05:23:09 +0000 (UTC)
(envelope-from marklmi@yahoo.com)
Received: from sonic311-25.consmr.mail.gq1.yahoo.com (sonic311-25.consmr.mail.gq1.yahoo.com [98.137.65.206])
(using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
(Client did not present a certificate)
by mx1.freebsd.org (Postfix) with ESMTPS id 4TXbb037Slz4W8w
for <freebsd-arm@freebsd.org>; Sun, 11 Feb 2024 05:23:08 +0000 (UTC)
(envelope-from marklmi@yahoo.com)
Authentication-Results: mx1.freebsd.org;
dkim=pass header.d=yahoo.com header.s=s2048 header.b=mNJrR8Xa;
dmarc=pass (policy=reject) header.from=yahoo.com;
spf=pass (mx1.freebsd.org: domain of marklmi@yahoo.com designates 98.137.65.206 as permitted sender) smtp.mailfrom=marklmi@yahoo.com
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707628986; bh=Lxd6EzteRShKJ7REwTJRaNbADjZ/Qw430Km+0FpZmcU=; h=From:Subject:Date:To:References:From:Subject:Reply-To; b=mNJrR8Xalnil+Z8HQ05ZpgiCCp/Z5d6r8glv5kv3b10FpcPRNxbGFjIW4Ng1uv112OjAzPYWVvRtOj4E/csjjN1XAdgGWcnBKbILBlTjFtMPj/9gqGGOkfr+yhbsom26Y9kct3x2xcfoL+beCVc0ocPoxXoyj0SigNJN35gRNqpu2lgXlkHxtAxkcQwX05fzZNboRMaae3hkbFPOYAytEzk52SjGbtt7ofTwlQE3JzmXvPyZPIDPq99B/72bhdeoibaK4wsvTvhiZubJCACjFO424qUN2UzqeeMEsr7xCwfe9phZRgTCD5WsM5suLCkVsp9/f5KxMxRUQTdMCqbeUw==
X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707628986; bh=0uenp3nu7+k6FSLBCcHOcKZf5VZRr1q1VRsEzpRD7DO=; h=X-Sonic-MF:From:Subject:Date:To:From:Subject; b=PYWJUbJm0NuN0GzArYPO8MjAZfFqsT/iNNWDQ6/6edj6hK2RiEGTpHZFD9sakXmEifMOjeALPEqVk3SlIvVoLjMZwRXok0OYnWO7jSc/+5dqHW9KuakqewtRoZSNm44Vl3GC8rTsK5UtbGVREIgLTBIQOuGKCSn7f6l7hsfJEASVq67rYLhmHYCaBHqeYyPccdrNz7coVrXUZarOKbMwiXFycrv+a5xrGawRcNlD7Wh5zipmqEwV21yXlWsP//TLpuEvU17djhYCh5pR1xu8xWVeZoQ9jbJB3Dzwy7j0Z8PASWCT65ojNRaz7TGERyxYS3HM/7cOrR42uBEff7BBow==
X-YMail-OSG: up17l9kVM1nhhh95ndD3QvG0kPYeXy9YAlS8WZRGN83VrQyBsagA2D5CUq1relH
dagHgPV2CK8fNJ3A32fUOJCNEf_ryQjJ2xWnFfs4A0RxuHgJKGzd6kEvk7g5EF10WjIAmaswS21r
yoJEL4Pj_.9fvPMC2fcZIcaDFfTD36s4L3wJ2N2WPaMRdKvroHB4aQ6kP4jXGhwgQ96x.QwDVG3q
3kFHA0haLfXbunF37Tv59B5hnFHbmpAgJUJhMD_257e1nFLEb9AE_uZUS9qar.4FQ7Lrj_HcO4xt
jHX_aKUSRZLha8ZA9.WjCFODkN1rlMByqLywW90blB1bgSgyddkRpqWYRALZW7WvPe4zjVTY1FUt
vUkPPBed2WGsABVS.7QlZk6XrAqNgDJhkHBvpExodRkPx6LwnBmudtbsas1HIq6hjaLj6QfWPNlN
Gxn1K7wzt64jHbtkz2gnd0rgR10gvFHBUVshQ53YBYgcwUO2Wmci8PU4AIPV_Wt4ItT1icHE2nK7
TkNX1cST6AqYRVJPhGPG6DVEd4QUmHhKvmPUc2q7g7SgEwPuF8hm15vOBHcbA4Ngl.9u6nJjlJg6
EF_2xEoHjE2ZIcMvjzLCiLyA8C8gNZeOWET6DFZoXCDFiB6_BH9HbgnAXfEPRxkTfkTyruSQk.uz
yMHzLovFQhGNz8syycWU1X7DB3wUe5MIUPkKMvwFIbOT9G4QgSNtdXQbK9GsOflXRcfnnz1OSJyp
ktmAhckgKkKTO60vFZkZCz.UfXY0hOleKP09qXJaMvlbeHK78yHdGOxFAu2_qScW0hIE6.kZEmlS
4ewA_RhJaddKquaqlnkPLdX_OwyCYSV3N3Jm1pVsH9XzU.sugijyU3dw706EQ.xuXU47j85t.ed6
T9tQ5PjS_Cs3qdLfmFWO.5HtKogNp5YcBVJIMrO3b.x87CtwRCoSWgL5qdwfHerwF5E9RuNwSBTY
tK.QgVVlhU8i27eH57jcK0tcnpBSH0mGXcsBr5Il6Qofvt2gT8O4ruoSvERpP6F_xS6ziczBm0hT
Nl3qbMjpBK8EHEcr26NWaw2ft4Wj5NLv6dQM1SPvCDNsXMXsz66eSuSfe80UMkXOglCe0iQU9vdD
xwF1d7NfECFPNbuvRDDj_7dIbPfjud9bVpsCNvX6HenzzK7N21OKOwrBAe2ksSXQrZw_LqwNTIeD
nS5Fq6NuhpPEwvJZVYifzT.uqhb6mIjM9aT9l8BVbKRaJ3wrDObwc1k4NNTM43sGuukywKklqoHb
8pqsznizTIppkc_kC6rNBGSI4ElK18IlaAa.H9DmUm3dUzxFqIKInTa7nkOkPSBe6QlYc7UBwoXP
aYA.eCTQ3Tv69EFt4nbmPyKeMZ4DGu39Mx2TxFJ2rsezyk29Lrs3nrqplVpMl2dAi5ra4flNp.MW
nFbGRw40VRoVBWNSyJvvbE52O7DC_SCNJNWBhe9xRf2qAs5h1hVS92yeSlnN2lV99_xOOUeqqaX1
hniSM4BOGfCeoebVZXNF182FIvHuTZctBiBHyDAE8OX0TGzvmUs8g7qABVPcmUd8L601wQuTEXg0
xieBCE3ViFaRSG.7XrRaHIXnkbBax1GwbAGK.xpv5ReCNMxGpg2ZnQHc5t9juEcylTusckh0hZIQ
u36gbmPa25MpE9YBBDZSLjbJmfchSdJN.tF1jOoW_ivmlwIn6EwhXv025ONHnwgLgTiqMXkJiAqf
Ew95xsUNoDmmvfE30eqTuVkf8UXgmZwi2R1wrucLVZydYNU_a_KXBWcetpmWgoRDG6M3utD4Ydnt
z8FGSSakKJZp1Q8CdjfyShwJZ87MnLBJNaTF3GxWhlH46bJw0pWf3iSKv3RI55lNY0qfxG_wqSCT
oAX30xq_yoiKq7hllWGbsMdMT5fQEL6WUQCNJxCgunWPF.uWSlVq_qXUlj_uYLgfhv3W1XNtQhNp
aSxY7RJ1H3t6rHtO55LuseYRD0vCXarkcu10X9jmrD.cUEAJ0gaGXhMoxoLMmW8IhrpHQ_J4QuRG
gePkt3bc89gClpThaVxokvGjueYooeEle3svw5pptOItQLA.cN3EhcHiMf0j_h_fBKpahfnYRWSx
KfJ4opPnx7DUSAyGL9b884kT6COWaxrvOyT8jTjq8HEA3lpBAmR0sbo0hsYnZJtWSLN07de541Mj
4l9YcC9ZFy_o2vf2C1r2LB6PGWe3.Q99Ox8K.8pRoaUUGKIoByxA51uY5gpTtNIIUn0Nq53GfMhT
EeOP20yZUxT_Q_eGxKFQcW1gMJQgZy.EjN7fx4QJ56BHK4jzMuEAa.Q1xmfFBjg--
X-Sonic-MF: <marklmi@yahoo.com>
X-Sonic-ID: ef1a6f7b-cb15-47dd-9b71-94900b510b0c
Received: from sonic.gate.mail.ne1.yahoo.com by sonic311.consmr.mail.gq1.yahoo.com with HTTP; Sun, 11 Feb 2024 05:23:06 +0000
Received: by hermes--production-gq1-5c57879fdf-p26ct (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID 81f759f65a2fc0ef27117a084b626496;
Sun, 11 Feb 2024 05:23:01 +0000 (UTC)
From: Mark Millard <marklmi@yahoo.com>
Content-Type: text/plain;
charset=us-ascii
Content-Transfer-Encoding: quoted-printable
List-Id: Porting FreeBSD to ARM processors <freebsd-arm.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-arm
List-Help: <mailto:freebsd-arm+help@freebsd.org>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Subscribe: <mailto:freebsd-arm+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-arm+unsubscribe@freebsd.org>
Sender: owner-freebsd-arm@freebsd.org
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.400.31\))
Subject: RPi5 PCIe and L1 Substates (and more): implications for using the
RasPiOS .dtb (including on the PCIe that has the RP1)
Message-Id: <5B4E7F48-CAB9-4A2E-8802-B59AB5EDFBB6@yahoo.com>
Date: Sat, 10 Feb 2024 21:22:50 -0800
To: FreeBSD ARM List <freebsd-arm@freebsd.org>
X-Mailer: Apple Mail (2.3774.400.31)
References: <5B4E7F48-CAB9-4A2E-8802-B59AB5EDFBB6.ref@yahoo.com>
X-Spamd-Bar: ---
X-Spamd-Result: default: False [-4.00 / 15.00];
NEURAL_HAM_LONG(-1.00)[-1.000];
NEURAL_HAM_MEDIUM(-1.00)[-1.000];
NEURAL_HAM_SHORT(-1.00)[-1.000];
DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject];
R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048];
R_SPF_ALLOW(-0.20)[+ptr:yahoo.com];
MIME_GOOD(-0.10)[text/plain];
RCVD_TLS_LAST(0.00)[];
TO_DN_ALL(0.00)[];
FREEMAIL_FROM(0.00)[yahoo.com];
DWL_DNSWL_NONE(0.00)[yahoo.com:dkim];
RCPT_COUNT_ONE(0.00)[1];
TO_MATCH_ENVRCPT_ALL(0.00)[];
MIME_TRACE(0.00)[0:+];
ARC_NA(0.00)[];
FROM_HAS_DN(0.00)[];
FREEMAIL_ENVFROM(0.00)[yahoo.com];
MLMMJ_DEST(0.00)[freebsd-arm@freebsd.org];
RCVD_COUNT_TWO(0.00)[2];
FROM_EQ_ENVFROM(0.00)[];
DKIM_TRACE(0.00)[yahoo.com:+];
MID_RHS_MATCH_FROM(0.00)[];
RWL_MAILSPIKE_POSSIBLE(0.00)[98.137.65.206:from];
APPLE_MAILER_COMMON(0.00)[];
ASN(0.00)[asn:36647, ipnet:98.137.64.0/20, country:US];
RCVD_VIA_SMTP_AUTH(0.00)[];
RCVD_IN_DNSWL_NONE(0.00)[98.137.65.206:from]
X-Rspamd-Queue-Id: 4TXbb037Slz4W8w
The RPi5 has in its live dtb (rasPiOS64) and on-disk dtb:
pcie@120000 {
. . .
aspm-no-l0s;
brcm,enable-l1ss;
brcm,enable-mps-rcb;
brcm,vdm-qos-map =3D <0xbbaa9888>;
. . .
I found material indicating that for the brcm,enable-l1ss (L1 Substates,
using a Bidirectional CLKREQ#): "Setting this property only makes sense =
when
the downstream device is L1SS-capable and the OS is configured to =
activate
this mode".
This would seem to potentially mean that use of the RasPiOS dtb =
effectively
requires support of L1 Substates by the OS (or firmware for EDK2?).
Note: pcie@120000 is the one that contains the rpi1 (that, in turn,
has many of the devices).
I found material indicating that aspm-no-l0s means that L0's should be
disabled to avoid signal noise (plus it did not help much for power
savings).
I have not found material about brcm,enable-mps-rcb or brcm,vdm-qos-map =
.
There seem to be a fair number of dma ranges and plain ranges:
dma-ranges =3D <0x2000000 0x0 0x0 0x1f 0x0 0x0 0x400000 0x43000000 0x10 =
0x0 0x0 0x0 0x10 0x0>;
ranges =3D <0x2000000 0x0 0x0 0x1f 0x0 0x0 0xfffffffc 0x43000000 0x4 0x0 =
0x1c 0x0 0x3 0x0>;
Note for the above:
#address-cells =3D <0x3>;
#interrupt-cells =3D <0x1>;
#size-cells =3D <0x2>;
rp1's are:
dma-ranges =3D <0x10 0x0 0x43000000 0x10 0x0 0x10 0x0 0xc0 0x40000000 =
0x2000000 0x0 0x0 0x0 0x400000 0x0 0x0 0x2000000 0x10 0x0 0x10 0x0>;
ranges =3D <0xc0 0x40000000 0x2000000 0x0 0x0 0x0 0x400000>;
Note for the above:
#address-cells =3D <0x2>;
#interrupt-cells =3D <0x2>;
#size-cells =3D <0x2>;
Both usb@200000 and usb@300000 have:
snps,axi-pipe-limit =3D [08];
snps,dis_rxdet_inp3_quirk;
snps,tx-max-burst-prd =3D <0x8>;
snps,tx-thr-num-pkt-prd =3D =
<0x2>;
usb3-lpm-capable;
"axi-pipe-limit" suggests that axi places some of its own constraints
on what usb style-of-usage is valid.
There are no xhci@ . . . in the dtb's.
axi contains all 3 pcie@*'s and has:
axi {
#address-cells =3D <0x2>;
#size-cells =3D <0x2>;
compatible =3D "simple-bus";
dma-ranges =3D <0x0 0x0 0x0 0x0 0x10 0x0 0x10 0x0 0x10 =
0x0 0x1 0x0 0x14 0x0 0x14 0x0 0x4 0x0 0x18 0x0 0x18 0x0 0x4 0x0 0x1c 0x0 =
0x1c 0x0 0x4 0x0>;
phandle =3D <0xae>;
ranges =3D <0x0 0x0 0x0 0x0 0x10 0x0 0x10 0x0 0x10 0x0 =
0x1 0x0 0x14 0x0 0x14 0x0 0x4 0x0 0x18 0x0 0x18 0x0 0x4 0x0 0x1c 0x0 =
0x1c 0x0 0x4 0x0>;
=3D=3D=3D
Mark Millard
marklmi at yahoo.com
From nobody Sun Feb 11 13:44:14 2024
X-Original-To: freebsd-arm@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TXpjy74cCz59lmG;
Sun, 11 Feb 2024 13:44:54 +0000 (UTC)
(envelope-from marietto2008@gmail.com)
Received: from mail-ed1-x535.google.com (mail-ed1-x535.google.com [IPv6:2a00:1450:4864:20::535])
(using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256
client-signature RSA-PSS (2048 bits) client-digest SHA256)
(Client CN "smtp.gmail.com", Issuer "GTS CA 1D4" (verified OK))
by mx1.freebsd.org (Postfix) with ESMTPS id 4TXpjy1xQ4z4NGW;
Sun, 11 Feb 2024 13:44:54 +0000 (UTC)
(envelope-from marietto2008@gmail.com)
Authentication-Results: mx1.freebsd.org;
dkim=pass header.d=gmail.com header.s=20230601 header.b=LysA+huN;
dmarc=pass (policy=none) header.from=gmail.com;
spf=pass (mx1.freebsd.org: domain of marietto2008@gmail.com designates 2a00:1450:4864:20::535 as permitted sender) smtp.mailfrom=marietto2008@gmail.com
Received: by mail-ed1-x535.google.com with SMTP id 4fb4d7f45d1cf-557dcb0f870so3103885a12.2;
Sun, 11 Feb 2024 05:44:54 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1707659092; x=1708263892; darn=freebsd.org;
h=to:subject:message-id:date:from:mime-version:from:to:cc:subject
:date:message-id:reply-to;
bh=aoU8HxDHuFe4dNNwrvlsbmgdEM7Auq2rSysvOPm7j30=;
b=LysA+huNAVRtfFE6ibu+wS8bDeKbnz+IGEjmfpVjFoqSk6TXjYl7gM2atJaqY1doB+
VVaI5jONy9rftL+Xxu1Ym5iv7n+MqbsdPdQbds0Ep243U2mbW1jGbcBLEBWSmyRxhw1T
GvNcsuaaiKaGaC2je5eDXia4Hk4k9EQtEdmidyJS4TqQ2Z3A9u+JfZHQS3F+BmDsdhtV
WFNGpIQys7VdtSNhGKX8C2FT3eNegU6bLfDVdSLjiPljQQHAJelqN2FB+ACZ+Uzx6oDP
sS6A0jg9x+ij/UZcv3G3+oFa+5uOXhmq0ttW1T7Hzj4ue0SuMbFY9RcFLo3Q4u7eUsIY
IxpQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1707659092; x=1708263892;
h=to:subject:message-id:date:from:mime-version:x-gm-message-state
:from:to:cc:subject:date:message-id:reply-to;
bh=aoU8HxDHuFe4dNNwrvlsbmgdEM7Auq2rSysvOPm7j30=;
b=HdqZyWmg2FJHB3rhxffmPEy4bHWv4qKihFirnMwTFFbA6hwxvIHqFjPmpl2V2emaQ0
efhynfb1yl2qgm87KI17m28RThzLVgkiOX9ppSD9E+KnnIkVNtOGtlIfmJ8GVizTXeEG
za3ocRyDi1oUgOgxT7SyEqlUq1tkdnBHFPiL2JA0e1lO2teVNMENPFxTdwqi7dZZpZDc
5Wisu0xDRwRpTvkXp+sJwhlFOIqI2EPAIZxwfEpAJiBHM7/qKmSn+wdHmxBCbnUOb8KZ
g1zBJgqcyhkESF44stoZ938Tt7xa0hF5b0F3XQTndPVTa/yA9gc4FshB7cYr0zqWcV9k
UMFQ==
X-Gm-Message-State: AOJu0Yw0OTHruzrjnHTQF3qzYxGMZgP3dxV8I+PQQK8e92CD6kjo3Qve
esBOS1Qo6HNflq7nDFyRZMNpy8q6eQTlER4w3J8DI1SzrJFJ6rS+b87qHS9FI7J7THXgHo6+aRH
pFImJLOHDUJy/2yR8FkTWQDgWfsYLT/comVmZow==
X-Google-Smtp-Source: AGHT+IF2hw4DW1h/1mvQo4aa/dtoQ2kYp64dP0qMk99U/7QFZ1nCBZK5g3IT4CIy/0khC+93nwBSjdpzl2N2fcTlPp8=
X-Received: by 2002:a17:906:a298:b0:a38:891b:4a69 with SMTP id
i24-20020a170906a29800b00a38891b4a69mr2720875ejz.51.1707659091282; Sun, 11
Feb 2024 05:44:51 -0800 (PST)
List-Id: Porting FreeBSD to ARM processors <freebsd-arm.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-arm
List-Help: <mailto:freebsd-arm+help@freebsd.org>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Subscribe: <mailto:freebsd-arm+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-arm+unsubscribe@freebsd.org>
Sender: owner-freebsd-arm@freebsd.org
MIME-Version: 1.0
From: Mario Marietto <marietto2008@gmail.com>
Date: Sun, 11 Feb 2024 14:44:14 +0100
Message-ID: <CA+1FSijq0ez9+JXCSJP2rfWUXLjcTaEPJo-3NcO5Vu3H26L=hg@mail.gmail.com>
Subject: How to use the L4 Microkernel with a FreeBSD userland.
To: freebsd-arm <freebsd-arm@freebsd.org>,
FreeBSD Mailing List <freebsd-questions@freebsd.org>,
freebsd-hackers <freebsd-hackers@freebsd.org>, FreeBSD Current <freebsd-current@freebsd.org>,
Warner Losh <imp@bsdimp.com>
Content-Type: multipart/alternative; boundary="000000000000888e3c06111b5da2"
X-Spamd-Bar: ---
X-Spamd-Result: default: False [-4.00 / 15.00];
NEURAL_HAM_LONG(-1.00)[-1.000];
NEURAL_HAM_MEDIUM(-1.00)[-1.000];
NEURAL_HAM_SHORT(-1.00)[-0.997];
DMARC_POLICY_ALLOW(-0.50)[gmail.com,none];
R_DKIM_ALLOW(-0.20)[gmail.com:s=20230601];
R_SPF_ALLOW(-0.20)[+ip6:2a00:1450:4000::/36];
MIME_GOOD(-0.10)[multipart/alternative,text/plain];
MISSING_XM_UA(0.00)[];
ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US];
ARC_NA(0.00)[];
FREEMAIL_FROM(0.00)[gmail.com];
RCVD_COUNT_ONE(0.00)[1];
FREEMAIL_ENVFROM(0.00)[gmail.com];
DWL_DNSWL_NONE(0.00)[gmail.com:dkim];
MIME_TRACE(0.00)[0:+,1:+,2:~];
RCVD_IN_DNSWL_NONE(0.00)[2a00:1450:4864:20::535:from];
MLMMJ_DEST(0.00)[freebsd-arm@freebsd.org,freebsd-questions@freebsd.org,freebsd-hackers@freebsd.org,freebsd-current@freebsd.org];
FROM_EQ_ENVFROM(0.00)[];
FROM_HAS_DN(0.00)[];
RCPT_COUNT_FIVE(0.00)[5];
TO_MATCH_ENVRCPT_SOME(0.00)[];
RCVD_TLS_LAST(0.00)[];
TO_DN_ALL(0.00)[];
MID_RHS_MATCH_FROMTLD(0.00)[];
DKIM_TRACE(0.00)[gmail.com:+]
X-Rspamd-Queue-Id: 4TXpjy1xQ4z4NGW
--000000000000888e3c06111b5da2
Content-Type: text/plain; charset="UTF-8"
Hello to everyone.
I'm trying to understand how to use the L4 Microkernel with a FreeBSD
userland. I've asked the same to a L4 developer,but he told me that he does
not know FreeBSD,so I'm here to ask the same question. First of all I'm
sure that it can be done,because it is written clearly on their website :
http://os.inf.tu-dresden.de/L4Re/download/snapshots/
on the section :
Host system requirements
The host system shall be a 64bit-based system with a recent Linux
distribution installed and at least 2GB of free disk space.
All necessary tools required by the build are available from the provided
packages of the Linux distributions, including cross compilers. But there
are also other cross compiler packages available (see below). You might
want to run make check_build_tools in the src/l4 directory to verify the
common tools are installed.
*You are free to use any Linux distribution you like, or even BSDs or any
of its derivatives.* But then you should know the game. Especially tool
versions should be recent, as installed on the listed distributions below.
We are confident that the snapshot works on the following distributions:
- Debian 11 or later
- Ubuntu 22.04 or later
Let's say I want to use the L4 microkernel + FreeBSD 14 on my Raspberry Pi
4,the first step I did was to build L4Re for the Rpi,according with this
instructions :
http://os.inf.tu-dresden.de/L4Re/rpi.html
This is the log file of the compilation,that hasn't given any error :
https://pastebin.ubuntu.com/p/6SwN2mpJBM/
Or I could have taken a pre built image of the L4 microkernel here :
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/
At this point the tutorial says that I should use a Linux distro. They
suggest the official distro for the Raspberry Pi 4,that's RaspBian. But I
don't want to use Linux as a userland,I want to use FreeBSD. The question
now is : what should I do to achieve that goal ? How can I link the L4
microkernel with the ubldr bootloader of FreeBSD ? Or should I link it to
the kernel of FreeBSD ? Can someone explain to me the missing step ? thanks.
--
Mario.
--000000000000888e3c06111b5da2
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr"><div>Hello to everyone.</div><div><br></div><div>I'm t=
rying to understand how to use the L4 Microkernel with a FreeBSD userland. =
I've asked the same to a L4 developer,but he told me that he does not k=
now FreeBSD,so I'm here to ask the same question. First of all I'm =
sure that it can be done,because it is written clearly on their website :</=
div><div><br></div><div><br></div><div><a href=3D"http://os.inf.tu-dresden.=
de/L4Re/download/snapshots/">http://os.inf.tu-dresden.de/L4Re/download/snap=
shots/</a></div><div><br></div><div><br></div><div>on the section :<br></di=
v><h1><span style=3D"font-weight:normal">Host system requirements</span></h=
1>
<p>The host system shall be a 64bit-based system with a recent
Linux distribution installed and at least 2GB of free disk space.</p>
<p>All necessary tools required by the build are available from the provide=
d
packages of the Linux distributions, including cross compilers. But
there are also other cross compiler packages available (see below).
You might want to run <code>make check_build_tools</code> in the src/l4
directory to verify the common tools are installed.</p>
<p><b>You are free to use any Linux distribution you like, or even BSDs or =
any of
its derivatives.</b> But then you should know the game. Especially tool
versions should be recent, as installed on the listed distributions below.<=
/p>
<p>We are confident that the snapshot works on the following distributions:=
</p>
<ul><li>Debian 11 or later</li><li>Ubuntu 22.04 or later</li></ul><div><br>=
</div><div>Let's say I want to use the L4 microkernel + FreeBSD 14 on m=
y Raspberry Pi 4,the first step I did was to build L4Re for the Rpi,accordi=
ng with this instructions :</div><div><br></div><div><br></div><div><a href=
=3D"http://os.inf.tu-dresden.de/L4Re/rpi.html">http://os.inf.tu-dresden.de/=
L4Re/rpi.html</a>
</div><div><br></div><div><br></div><div>This is the log file of the compil=
ation,that hasn't given any=C2=A0 error :<br></div><div><br></div><div>=
<br></div><div><a href=3D"https://pastebin.ubuntu.com/p/6SwN2mpJBM/">https:=
//pastebin.ubuntu.com/p/6SwN2mpJBM/</a></div><div><br></div><div><br></div>=
<div>Or I could have taken a pre built image of the L4 microkernel here : <=
br></div><div><br></div><div><br></div><div><a href=3D"http://os.inf.tu-dre=
sden.de/download/snapshots/pre-built-images/arm64/">http://os.inf.tu-dresde=
n.de/download/snapshots/pre-built-images/arm64/</a></div><div><br></div><di=
v><br></div><div><br></div><div>At this point the tutorial says that I shou=
ld use a Linux distro. They suggest the official distro for the Raspberry P=
i 4,that's RaspBian. But I don't want to use Linux as a userland,I =
want to use FreeBSD. The question now is : what should I do to achieve that=
goal ? How can I link the L4 microkernel with the ubldr bootloader of Free=
BSD ? Or should I link it to the kernel of FreeBSD ? Can someone explain to=
me the missing step ? thanks.<br></div><br><span class=3D"gmail_signature_=
prefix">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature" data-smart=
mail=3D"gmail_signature">Mario.<br></div></div>
--000000000000888e3c06111b5da2--
From nobody Sun Feb 11 18:58:56 2024
X-Original-To: freebsd-arm@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TXxhZ4qTYz5BDsm
for <freebsd-arm@mlmmj.nyi.freebsd.org>; Sun, 11 Feb 2024 18:59:10 +0000 (UTC)
(envelope-from marklmi@yahoo.com)
Received: from sonic314-20.consmr.mail.gq1.yahoo.com (sonic314-20.consmr.mail.gq1.yahoo.com [98.137.69.83])
(using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
(Client did not present a certificate)
by mx1.freebsd.org (Postfix) with ESMTPS id 4TXxhZ25XXz3xVW
for <freebsd-arm@freebsd.org>; Sun, 11 Feb 2024 18:59:10 +0000 (UTC)
(envelope-from marklmi@yahoo.com)
Authentication-Results: mx1.freebsd.org;
none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707677948; bh=ERUKiBtI58RHPtSZ7ux75H78mj/VV1AqRsTe4xBOD6A=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From:Subject:Reply-To; b=j8LrXfTJSEoLgzw+ITdrp+aFi6KazmrFuU+QRwpRqHvEL6SWmkTF9ML1efdUtJRNZ1nWmMi5A7mLAbdGZcl9dFqnzNyixrPGesRhjSP/rp8A0kz+KufS49z0LZsyZ843apEySuEL34Q+HORNMUJuA+IJid7Sq9BpJiGxPPH+2vJ5ssKPKdVidNvVQng5nBHa3W7pyvpgAFH8RguvRIidQOjwvlDDFelr9uCUotCEvjIA198swyv1wfRXkJIhi7InX3UFN68wv+W59z+BOf1dmts9zjwyl2VVLi9rT3bjIvGVG1gNXfMrXDP8I7EeYysJQVh4OtIjWUvKEXCK8BY7Fg==
X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707677948; bh=gSnvhV60gsEG16E4vJ0j1b2aSlf9tzPXrh4zOtVkLXU=; h=X-Sonic-MF:Subject:From:Date:To:From:Subject; b=Uc4gfoPA537O1FDjvzHdl9Kw0Ashlcc0SBni6w7caxgF4txH4eG6xDGgA0ka/T3QJ32dW0bXO/YRG7lprpg19JYEE+D7shsj1UrWBGZg/aDgTS5enoUH638GyTCDGE2RP1DtCOHTB67ustwUU0MJpdW/uH9ndmZu27KkJJMHp5nU18l0hUPbZZz/VyJnKrFaHTPLpigIha4A3VtpNM68uaHu6oHETzPghzmJgUnbySXlF0Kxh2GOJHNG7Hyj0W65cLpiDP21ChFC/MjZCHA7bpUuV1JUHxm548aM5hzhjh1UzbNE13oZmDFJDcdzRIbQQn4AmFBC+XGRFOLm+CYt3g==
X-YMail-OSG: mgpH_VMVM1la9QtxEeidTDOsi.l8EltLTl2Nm4Wxl2QbWUO.vpxUVKelCubS_n5
OWbQ.m3nHh3Ax9I0lExekL8mjQ78bnvUykhFqdRS7ApKyeTk9Vn.3TuYAenZ7Fh_b7k8uLiJerxp
aIvx0wTcxfPGxV2.KYKAAtwliNOhFRMlTm6XdBkyS4gj_yg_xfw.UifBjVkdRPq76Lgz8dE3h91H
9jcXlV8889Ifb9mJBmdKBqM5U4bR4z2LW0BO88Ap9sjrBHDNyVSGSdQ47..X_lYgHgNcPrDAY38x
wenP4zP1K.pyafOWU6.04c7vgEDJ0HXZ8P_UUC0hhMhIS9hR6AOFOe9t7rmEfMqHSVJ23JJhG0yG
Y7Il2oGdPFtL9i03THi8cSJDoSiGWELRgLx0Tfo0pzjYqXcBD3hY2AmwkIts6wWh5RdmOr.6yF0z
wtOy79XnvtTUY8mpbDLVJYKftDo7dHVlmmeO_APpWzoTA1nAT4QUsQsihomK9Ihfv.ZE_p3lC1c3
k9jU.BjEQCntwoN3PBQGRc85aMyhTtdBSUQfokf1.vyVFXVy4DTzIh3FiNIS3y0pi04SUnYKgYsl
_1h.lWgude2.QSi5RIY27HVCqPwMg5nEWI9G9dxwau0YP6qMh1PJykw7LWAiYUQJWCf0hoxJgno8
D45qx2NGG3xJvBlgQGW8INSISDsRxCrGe6u44hFgtakTJ_4R24nfHzuGfzvlJB2BViV02H_HKcyC
2o0gaTxAinfiCdIshbXj1lYQ0kcbx3mGUpSbB1FnBpmeVw50UD2oc2tC.o1JER9Sq_M_g6iE634n
xKga1Cub6zqftDxYaJka4CMt6bmuiZJTYLyHW8jY6IK6vf46zWUN.rR9MCC9KZfHCzxqCcaqyGbK
Fg5G4AyBVUwbn1tBBOCIA589lYwOaS3LmcHxDDNXmOH9vOFbSoNhttGZCeDM.Ge49mTY0h68sBeN
f7LdRucfe_jLLv5oCIZ70y1ereSgztDiLghHi1ib1UViHDID2smTVhGlU.EmkalQopktMb1eMVyX
OVtPOkOAbN.J8IdaQxmMdSyPa0geQe5pBMNN2meKh1vNuB2GVSfxwvGR0U7l3w.rco2a16qtrYkF
4Iji1eoGaypt5ISc7f4Xe3iEAtOWL5Kj_rV7bBr21QEyK8PxQIctpjfd0yVFvZjesdgrYmM6h1Ra
oPUJ7rKXt5yAkQhZjAX9S0REJyX8.fr6ZMuhsiNL67jUACGgWTz.0jnqUevYy7WoimBLjh3lPgwk
7lhXncaQaXtxxC_y4K7N4mbj372ElJvAuGiqdAf02g9oXjR3iiZzw7GBvqDwLoL_xuoohDUr4mhS
6NxMI7kmuOixiNI_ijb0.dxW7MZhTKHr25rYfT_opAxo_o_2fWEGwd3gLF6F2Rhh3L8A5ebFXb82
AgZG0sxFfgzZkqLcC8RMqo8BIRkXzTK5yivm83BRsDQWbDxsBSrIsqlBzjzNfV_uJMhfjhn4ubTd
jz6IOr.idQkdONTYlC1cmAebm4V98nXCs0BMoqWtGno3aIDUsnaAlT7kxbJaDEUleen1VXbRWH7N
eCDWf39sR6Ewei9mJ0EbuFrbhOTWDYsZwBMijcN.p7q148MtjvID9AtHMBFi1LxREGSeZQAiz6.n
yBCz4e.1ZZvvTasucs4azfeQAz.K6L122Ap0qWNUBuph_MhezFaJ_ZZzqERgIwJtVQi_CYfjJTHC
2F1iXrZcy9rr3KU6rB95w0hYkke4kshJr5HlpU6c.6oeILoqBIaggNT7aX4eFQR44e0WnGCdUMp7
5DKIlaqBZQqZbEjZC.ygJi94HtwjC6uI6LZjIJjFRuUVDcVJoUYAHq1LRZj88nHQg2AfonQPbbGo
vDsmIRO2BmbNVufsbty8bVhZoSNqjKgJVo4NRueTtpJjzddHdd4dghN_cZBaF50Pdl_.uHIg71U6
qUtACKf261CW_BtwvOTvy0TavVZH3hnuzBH_nMtCLmD7eZNpHON.ZkxHtWhlvm2mlC6PRe4sGgFC
9UAr9Ln.Nn7.281nZI38Jr_RkvMMQ2EVlfXP6mAxqxOERRMi1CwIhPZ5pIE3bKGSxDZ51ZbYA8Ni
DMMHT8bCRiwqLtW.lJ.Xt.TPGGY7jrmmStznqmGBWTqbRmXUnLHutPHD_oH5njBpjWo69pVQ.l5a
nKmmY3OMQBplvosGIHCjzqApjnn2KpXEodQtcTZwShJYheeNsByqM_mstHMKWdRpkI9yvBDFVz2V
zEc2sU5WWidQoRl.Yibn8JUBrZ3GJUR0R8eZYv30Lu0N5wARX_UihrjzTA1Ajz5CMmZW8QXdiTfg
-
X-Sonic-MF: <marklmi@yahoo.com>
X-Sonic-ID: 06ec5f7b-a3df-41a2-89a7-e52fc4b44799
Received: from sonic.gate.mail.ne1.yahoo.com by sonic314.consmr.mail.gq1.yahoo.com with HTTP; Sun, 11 Feb 2024 18:59:08 +0000
Received: by hermes--production-gq1-5c57879fdf-6xjwd (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID c29727df83a37efa3b609b333e58f94e;
Sun, 11 Feb 2024 18:59:07 +0000 (UTC)
Content-Type: text/plain;
charset=utf-8
List-Id: Porting FreeBSD to ARM processors <freebsd-arm.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-arm
List-Help: <mailto:freebsd-arm+help@freebsd.org>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Subscribe: <mailto:freebsd-arm+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-arm+unsubscribe@freebsd.org>
Sender: owner-freebsd-arm@freebsd.org
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.400.31\))
Subject: Re: How to use the L4 Microkernel with a FreeBSD userland.
From: Mark Millard <marklmi@yahoo.com>
In-Reply-To: <CA+1FSijq0ez9+JXCSJP2rfWUXLjcTaEPJo-3NcO5Vu3H26L=hg@mail.gmail.com>
Date: Sun, 11 Feb 2024 10:58:56 -0800
Cc: freebsd-arm <freebsd-arm@freebsd.org>,
FreeBSD Mailing List <freebsd-questions@freebsd.org>,
freebsd-hackers <freebsd-hackers@freebsd.org>,
FreeBSD Current <freebsd-current@freebsd.org>,
Warner Losh <imp@bsdimp.com>
Content-Transfer-Encoding: quoted-printable
Message-Id: <071E080E-C0E6-40F0-A0DF-4FCC22FC004D@yahoo.com>
References: <CA+1FSijq0ez9+JXCSJP2rfWUXLjcTaEPJo-3NcO5Vu3H26L=hg@mail.gmail.com>
To: Mario Marietto <marietto2008@gmail.com>
X-Mailer: Apple Mail (2.3774.400.31)
X-Spamd-Result: default: False [-4.00 / 15.00];
REPLY(-4.00)[];
ASN(0.00)[asn:36647, ipnet:98.137.64.0/20, country:US]
X-Rspamd-Queue-Id: 4TXxhZ25XXz3xVW
X-Spamd-Bar: ----
X-Rspamd-Pre-Result: action=no action;
module=replies;
Message is reply to one we originated
On Feb 11, 2024, at 05:44, Mario Marietto <marietto2008@gmail.com> =
wrote:
> I'm trying to understand how to use the L4 Microkernel with a FreeBSD =
userland. I've asked the same to a L4 developer,but he told me that he =
does not know FreeBSD,so I'm here to ask the same question. First of all =
I'm sure that it can be done,because it is written clearly on their =
website :
>=20
>=20
> http://os.inf.tu-dresden.de/L4Re/download/snapshots/
>=20
>=20
> on the section :
> Host system requirements
> The host system shall be a 64bit-based system with a recent Linux =
distribution installed and at least 2GB of free disk space.
> All necessary tools required by the build are available from the =
provided packages of the Linux distributions, including cross compilers. =
But there are also other cross compiler packages available (see below). =
You might want to run make check_build_tools in the src/l4 directory to =
verify the common tools are installed.
> You are free to use any Linux distribution you like, or even BSDs or =
any of its derivatives. But then you should know the game. Especially =
tool versions should be recent, as installed on the listed distributions =
below.
> We are confident that the snapshot works on the following =
distributions:
> =E2=80=A2 Debian 11 or later
> =E2=80=A2 Ubuntu 22.04 or later
>=20
> Let's say I want to use the L4 microkernel + FreeBSD 14 on my =
Raspberry Pi 4,the first step I did was to build L4Re for the =
Rpi,according with this instructions :
>=20
>=20
> http://os.inf.tu-dresden.de/L4Re/rpi.html=20
>=20
> This is the log file of the compilation,that hasn't given any error :
>=20
>=20
> https://pastebin.ubuntu.com/p/6SwN2mpJBM/
>=20
>=20
> Or I could have taken a pre built image of the L4 microkernel here :=20=
>=20
>=20
> http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/
>=20
>=20
>=20
> At this point the tutorial says that I should use a Linux distro. They =
suggest the official distro for the Raspberry Pi 4,that's RaspBian. But =
I don't want to use Linux as a userland,I want to use FreeBSD. The =
question now is : what should I do to achieve that goal ? How can I link =
the L4 microkernel with the ubldr bootloader of FreeBSD ? Or should I =
link it to the kernel of FreeBSD ? Can someone explain to me the missing =
step ? thanks.
QUOTING the "Configuring yourself" section:
The make setup step configures predefined setups for both the L4Re =
microkernel (Fiasco) and the L4Re user-level software, and connects both =
together so the images for the target system can be built.
END QUOTE
So L4Re has its own user-level software, not just a kernel. There is no =
use of a Linux or FreeBSD user-level software
when L4Re is booted. (They are just used for building.)
"The host system" is just a host for building the L4Re parts and =
assembling the image from the parts. The "Pulling it together" section =
is about combining the parts (including the microkernel and the =
user-level software) to make the overall image that does not include =
Linux or FreeBSD code.
=3D=3D=3D
Mark Millard
marklmi at yahoo.com
From nobody Sun Feb 11 19:43:59 2024
X-Original-To: freebsd-arm@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TXyj363TMz5BJHW;
Sun, 11 Feb 2024 19:44:39 +0000 (UTC)
(envelope-from marietto2008@gmail.com)
Received: from mail-ej1-x636.google.com (mail-ej1-x636.google.com [IPv6:2a00:1450:4864:20::636])
(using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256
client-signature RSA-PSS (2048 bits) client-digest SHA256)
(Client CN "smtp.gmail.com", Issuer "GTS CA 1D4" (verified OK))
by mx1.freebsd.org (Postfix) with ESMTPS id 4TXyj34JSmz45Hw;
Sun, 11 Feb 2024 19:44:39 +0000 (UTC)
(envelope-from marietto2008@gmail.com)
Authentication-Results: mx1.freebsd.org;
none
Received: by mail-ej1-x636.google.com with SMTP id a640c23a62f3a-a3ca40db065so14449066b.2;
Sun, 11 Feb 2024 11:44:39 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1707680676; x=1708285476; darn=freebsd.org;
h=cc:to:subject:message-id:date:from:in-reply-to:references
:mime-version:from:to:cc:subject:date:message-id:reply-to;
bh=c7i/Wmbp8GH6io4XHdLDqNSfDIn68zOaOkCMVjkau88=;
b=ilMLWumyDXtGuYxdayBI9W0pq4p6PTIrLZpMxgCsUPbzBXWOQXLv5VWjbgtk9NQH6z
P3tshmnBOXcWELKgaINxB/gx8u90tMrtn/QsoQY79nFfIJQ9BK5AsiwokYrvL2j7xwaZ
dSaQqRj1cwz5lDhJm5EWe8UZAkd3FraSa4CttKo5jxomWbN1i1aJO2X9dG/mrSGhucXG
zKqAZbXu6GGv6D8A7+HhEWDhGKyVxyBemHhSPtquKM2VEZVhALPx63ciOTTgbtNndN1C
335WIxwP2mZ7HXs0ynyA4pcCJhNsIxSMeXL98Eks5ng17xWEv1jzAzVJTGvWsz47JXFS
0vzw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1707680676; x=1708285476;
h=cc:to:subject:message-id:date:from:in-reply-to:references
:mime-version:x-gm-message-state:from:to:cc:subject:date:message-id
:reply-to;
bh=c7i/Wmbp8GH6io4XHdLDqNSfDIn68zOaOkCMVjkau88=;
b=qJlU4AeTKw4Qr4K8QCihlSOX+t8I3Bxi1J15i/eJk2WLW2qAeziLW2F/dQA7i7LvaL
/iZ2sybDhkdTmIpxAm5QaPFLVnH7WGDI6Yy6baQ6DCTB99mh2jLsfZF9I1v6s77DqU68
ISc0f6Lu45ovlvxbBPUnQ9Ep7cGNuLorZ4nJ+agL8Z2oCE1wi8DQc2b73wz+ZKwZotPG
0k4XcVchYcyY1vtr3CuUK7vaiT3ScGy5dFYtD4ttoGrO+4jcRJWIV9NblruLtkZEHSQS
YSHAK2gsWJf0DOBosOQUdx2DwcietDlXZnatQHMDANKOqwVPXHaeJSw2eXwJFCFEEJnT
XfWg==
X-Gm-Message-State: AOJu0YyXcZ+DPbjohIu5ZzdTt0SCBeA2uBy3HFLHuRhm8zFiLoHvKNWp
zOqCqVjC8zS1g1kEoKXXwZMsgN+CmPtKEfb+lfJpOUD9r5vV3JsQjK8cMN1sjvFvDx3PVnP8sJK
nOPTYiLkVG419UhQ16nGXgsxNl1Y=
X-Google-Smtp-Source: AGHT+IEuN10vP66h8m0ASuv9tnzGtgSlnqltSiT+E5CNHRZhegI59udvYLrSs0oXTRchIYAJeTizp1RZRRVXdUWrKfw=
X-Received: by 2002:a17:906:f190:b0:a38:3907:8ee0 with SMTP id
gs16-20020a170906f19000b00a3839078ee0mr3123643ejb.51.1707680676290; Sun, 11
Feb 2024 11:44:36 -0800 (PST)
List-Id: Porting FreeBSD to ARM processors <freebsd-arm.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-arm
List-Help: <mailto:freebsd-arm+help@freebsd.org>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Subscribe: <mailto:freebsd-arm+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-arm+unsubscribe@freebsd.org>
Sender: owner-freebsd-arm@freebsd.org
MIME-Version: 1.0
References: <CA+1FSijq0ez9+JXCSJP2rfWUXLjcTaEPJo-3NcO5Vu3H26L=hg@mail.gmail.com>
<071E080E-C0E6-40F0-A0DF-4FCC22FC004D@yahoo.com>
In-Reply-To: <071E080E-C0E6-40F0-A0DF-4FCC22FC004D@yahoo.com>
From: Mario Marietto <marietto2008@gmail.com>
Date: Sun, 11 Feb 2024 20:43:59 +0100
Message-ID: <CA+1FSign02NftThWsgVVRV6Ec83-T1sATiUKh7dHmmoXzW-_mg@mail.gmail.com>
Subject: Re: How to use the L4 Microkernel with a FreeBSD userland.
To: Mark Millard <marklmi@yahoo.com>
Cc: freebsd-arm <freebsd-arm@freebsd.org>,
FreeBSD Mailing List <freebsd-questions@freebsd.org>,
freebsd-hackers <freebsd-hackers@freebsd.org>, FreeBSD Current <freebsd-current@freebsd.org>,
Warner Losh <imp@bsdimp.com>
Content-Type: multipart/alternative; boundary="00000000000019a36f0611206470"
X-Spamd-Result: default: False [-4.00 / 15.00];
REPLY(-4.00)[];
ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US]
X-Rspamd-Queue-Id: 4TXyj34JSmz45Hw
X-Spamd-Bar: ----
X-Rspamd-Pre-Result: action=no action;
module=replies;
Message is reply to one we originated
--00000000000019a36f0611206470
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
ok. But what does this mean ? That I can use whatever Linux distro I want ?
Or even the FreeBSD world ?
On Sun, Feb 11, 2024 at 7:59=E2=80=AFPM Mark Millard <marklmi@yahoo.com> wr=
ote:
>
>
> On Feb 11, 2024, at 05:44, Mario Marietto <marietto2008@gmail.com> wrote:
>
> > I'm trying to understand how to use the L4 Microkernel with a FreeBSD
> userland. I've asked the same to a L4 developer,but he told me that he do=
es
> not know FreeBSD,so I'm here to ask the same question. First of all I'm
> sure that it can be done,because it is written clearly on their website :
> >
> >
> > http://os.inf.tu-dresden.de/L4Re/download/snapshots/
> >
> >
> > on the section :
> > Host system requirements
> > The host system shall be a 64bit-based system with a recent Linux
> distribution installed and at least 2GB of free disk space.
> > All necessary tools required by the build are available from the
> provided packages of the Linux distributions, including cross compilers.
> But there are also other cross compiler packages available (see below). Y=
ou
> might want to run make check_build_tools in the src/l4 directory to verif=
y
> the common tools are installed.
> > You are free to use any Linux distribution you like, or even BSDs or an=
y
> of its derivatives. But then you should know the game. Especially tool
> versions should be recent, as installed on the listed distributions below=
.
> > We are confident that the snapshot works on the following distributions=
:
> > =E2=80=A2 Debian 11 or later
> > =E2=80=A2 Ubuntu 22.04 or later
> >
> > Let's say I want to use the L4 microkernel + FreeBSD 14 on my Raspberry
> Pi 4,the first step I did was to build L4Re for the Rpi,according with th=
is
> instructions :
> >
> >
> > http://os.inf.tu-dresden.de/L4Re/rpi.html
> >
> > This is the log file of the compilation,that hasn't given any error :
> >
> >
> > https://pastebin.ubuntu.com/p/6SwN2mpJBM/
> >
> >
> > Or I could have taken a pre built image of the L4 microkernel here :
> >
> >
> > http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/
> >
> >
> >
> > At this point the tutorial says that I should use a Linux distro. They
> suggest the official distro for the Raspberry Pi 4,that's RaspBian. But I
> don't want to use Linux as a userland,I want to use FreeBSD. The question
> now is : what should I do to achieve that goal ? How can I link the L4
> microkernel with the ubldr bootloader of FreeBSD ? Or should I link it to
> the kernel of FreeBSD ? Can someone explain to me the missing step ? than=
ks.
>
> QUOTING the "Configuring yourself" section:
> The make setup step configures predefined setups for both the L4Re
> microkernel (Fiasco) and the L4Re user-level software, and connects both
> together so the images for the target system can be built.
> END QUOTE
>
> So L4Re has its own user-level software, not just a kernel. There is no
> use of a Linux or FreeBSD user-level software
> when L4Re is booted. (They are just used for building.)
>
> "The host system" is just a host for building the L4Re parts and
> assembling the image from the parts. The "Pulling it together" section is
> about combining the parts (including the microkernel and the user-level
> software) to make the overall image that does not include Linux or FreeBS=
D
> code.
>
>
> =3D=3D=3D
> Mark Millard
> marklmi at yahoo.com
>
>
--=20
Mario.
--00000000000019a36f0611206470
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr">ok. But what does this mean ? That I can use whatever Linu=
x distro I want ? Or even the FreeBSD world ? <br></div><br><div class=3D"g=
mail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Sun, Feb 11, 2024 at 7=
:59=E2=80=AFPM Mark Millard <<a href=3D"mailto:marklmi@yahoo.com">marklm=
i@yahoo.com</a>> wrote:<br></div><blockquote class=3D"gmail_quote" style=
=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding=
-left:1ex"><br>
<br>
On Feb 11, 2024, at 05:44, Mario Marietto <<a href=3D"mailto:marietto200=
8@gmail.com" target=3D"_blank">marietto2008@gmail.com</a>> wrote:<br>
<br>
> I'm trying to understand how to use the L4 Microkernel with a Free=
BSD userland. I've asked the same to a L4 developer,but he told me that=
he does not know FreeBSD,so I'm here to ask the same question. First o=
f all I'm sure that it can be done,because it is written clearly on the=
ir website :<br>
> <br>
> <br>
> <a href=3D"http://os.inf.tu-dresden.de/L4Re/download/snapshots/" rel=
=3D"noreferrer" target=3D"_blank">http://os.inf.tu-dresden.de/L4Re/download=
/snapshots/</a><br>
> <br>
> <br>
> on the section :<br>
> Host system requirements<br>
> The host system shall be a 64bit-based system with a recent Linux dist=
ribution installed and at least 2GB of free disk space.<br>
> All necessary tools required by the build are available from the provi=
ded packages of the Linux distributions, including cross compilers. But the=
re are also other cross compiler packages available (see below). You might =
want to run make check_build_tools in the src/l4 directory to verify the co=
mmon tools are installed.<br>
> You are free to use any Linux distribution you like, or even BSDs or a=
ny of its derivatives. But then you should know the game. Especially tool v=
ersions should be recent, as installed on the listed distributions below.<b=
r>
> We are confident that the snapshot works on the following distribution=
s:<br>
>=C2=A0 =C2=A0 =C2=A0=E2=80=A2 Debian 11 or later<br>
>=C2=A0 =C2=A0 =C2=A0=E2=80=A2 Ubuntu 22.04 or later<br>
> <br>
> Let's say I want to use the L4 microkernel + FreeBSD 14 on my Rasp=
berry Pi 4,the first step I did was to build L4Re for the Rpi,according wit=
h this instructions :<br>
> <br>
> <br>
> <a href=3D"http://os.inf.tu-dresden.de/L4Re/rpi.html" rel=3D"noreferre=
r" target=3D"_blank">http://os.inf.tu-dresden.de/L4Re/rpi.html</a> <br>
> <br>
> This is the log file of the compilation,that hasn't given any=C2=
=A0 error :<br>
> <br>
> <br>
> <a href=3D"https://pastebin.ubuntu.com/p/6SwN2mpJBM/" rel=3D"noreferre=
r" target=3D"_blank">https://pastebin.ubuntu.com/p/6SwN2mpJBM/</a><br>
> <br>
> <br>
> Or I could have taken a pre built image of the L4 microkernel here : <=
br>
> <br>
> <br>
> <a href=3D"http://os.inf.tu-dresden.de/download/snapshots/pre-built-im=
ages/arm64/" rel=3D"noreferrer" target=3D"_blank">http://os.inf.tu-dresden.=
de/download/snapshots/pre-built-images/arm64/</a><br>
> <br>
> <br>
> <br>
> At this point the tutorial says that I should use a Linux distro. They=
suggest the official distro for the Raspberry Pi 4,that's RaspBian. Bu=
t I don't want to use Linux as a userland,I want to use FreeBSD. The qu=
estion now is : what should I do to achieve that goal ? How can I link the =
L4 microkernel with the ubldr bootloader of FreeBSD ? Or should I link it t=
o the kernel of FreeBSD ? Can someone explain to me the missing step ? than=
ks.<br>
<br>
QUOTING the "Configuring yourself" section:<br>
The make setup step configures predefined setups for both the L4Re microker=
nel (Fiasco) and the L4Re user-level software, and connects both together s=
o the images for the target system can be built.<br>
END QUOTE<br>
<br>
So L4Re has its own user-level software, not just a kernel. There is no use=
of a Linux or FreeBSD user-level software<br>
when L4Re is booted. (They are just used for building.)<br>
<br>
"The host system" is just a host for building the L4Re parts and =
assembling the image from the parts. The "Pulling it together" se=
ction is about combining the parts (including the microkernel and the user-=
level software) to make the overall image that does not include Linux or Fr=
eeBSD code.<br>
<br>
<br>
=3D=3D=3D<br>
Mark Millard<br>
marklmi at <a href=3D"http://yahoo.com" rel=3D"noreferrer" target=3D"_blank=
">yahoo.com</a><br>
<br>
</blockquote></div><br clear=3D"all"><br><span class=3D"gmail_signature_pre=
fix">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature">Mario.<br></d=
iv>
--00000000000019a36f0611206470--
From nobody Sun Feb 11 20:00:48 2024
X-Original-To: freebsd-arm@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TXz413lqwz5BKFV
for <freebsd-arm@mlmmj.nyi.freebsd.org>; Sun, 11 Feb 2024 20:01:05 +0000 (UTC)
(envelope-from marklmi@yahoo.com)
Received: from sonic315-55.consmr.mail.gq1.yahoo.com (sonic315-55.consmr.mail.gq1.yahoo.com [98.137.65.31])
(using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
(Client did not present a certificate)
by mx1.freebsd.org (Postfix) with ESMTPS id 4TXz4119GHz4CkN
for <freebsd-arm@freebsd.org>; Sun, 11 Feb 2024 20:01:05 +0000 (UTC)
(envelope-from marklmi@yahoo.com)
Authentication-Results: mx1.freebsd.org;
none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707681662; bh=nRBfDPkCYE85Wau2G25TyzYXbF0mgqYwC04LR2rPHkw=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From:Subject:Reply-To; b=cmH3sXX/cvz2ArIThwBjxh45imwE1ITGIH11GfMjLtKPc2KwLQaWm16fzrUsm0T6/3lXTRToBVS7xo6+iLkyEHvMmFsLXiJkPGztE/VgXx/NglcBNhqxgU11PFHFnFRHroFbjS+OqEufC/pAn62+bwKkgR8qjV2CN7dCohHXrw1mjwj3X8m92KbE4aUaNTWL4dl4j+nUGnrZD3FQ5mhpYCGmM5sP58Kz+sgQfFU1txjTd4MMxgKURTY4v3oZCVsQG2reIFor0P1Yw4C/x4/NPZsnZ1FD6A+eQYdGQ/OIV8ooHgLXWxASfY4cVQDYJWOBodccC2PSNmiC49HU5DDlYw==
X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707681662; bh=3d7+ezZdjJUyEaaZVBrYRqYt3u6lfQNWPheWoXLxa3k=; h=X-Sonic-MF:Subject:From:Date:To:From:Subject; b=c/Itixve0dSpi3CbQf23VnCpepTH6pnezFletLnd351X28/hsFol/JJzBIjvYSjfWQj+0NICfy31NfsdtEk6OatdoXIvSIcKHCLa/wTF4mThgfHQ8+uilgNZbqI/Aomx4ab9/pHjbvEJ/d7wcP2Czcz+JjT1HnCGzk39HVEta2jR8a7SSvwplIVn7dKa35VXE8R3YRdeoUUOdGuueRX6O8v1bQjkwAdmlFkigjUqI0mWxOFlUPHWDl48DPE7ltaDNNoVS4iXCUaVGYf0QD4WnZoYjzCo0AslGZkS2JYYo0T3glO8lJ/LDU8HH5YJtpdJF+wdXWuooZHIKPjhyRwTXA==
X-YMail-OSG: aIo4oEkVM1lWLS04P9nhpVsQNdQwV7DCYprp95p7n3asHz6Ah8.hg7EA0CyhCX5
m_tnje5zqwqsuT8_GSKDs3ucJG45lvOZ0IExjakxFjpWbWBvHIhOlo42sVDGar3UdXcaotcXg54f
CkY2ArvDwR4I.MAH969QzIv8ftkGiP7VKu5mQopJf1piNHjTY3pWz0To25S52rNEZnd9acjxIu_T
7otobseuVhp_JeBhMxshV6R8H1XcIhOYMY9oNnxdh95q_et2QvjuKZJ3kjKNTmH5UPWQwHFJ_pFB
_fU4GTP89RHKgl8uSxyw06P_qyYkUv0_7NRuNSaHhx45CiWGzz1qveTwy5FkK10zzWqzfDoKKnI9
pDhRrZ8.eVSqgHpX.NfcA_eLYYWyBl0br4E4y4navKiOxvxn2SiOIZb298nI6zf25zUvyTzWzjAe
Y6cf0EnumqCEysNt126CEhUCtxCsbzch.nzwiLmT5yM80o_vM88mVJeyvmzUaUZ0LZGaqbG6yE2C
38437wu4k_lyN2PH.M5gmSteAWJ94NAhaHfHOMgOf3yliFJ2.T6ajrJ.l8VCcXHcpzVpGddxNk4K
t8JLioPj9aBJHFMetI58LQUAVfUPiTT9BsNw92dsPDOZRCSo4qos5lhaDkBcnnStLE1ES8wYpJ_D
jGIp6d51ifKC9HfoL7VHHEGh6fOhx12UrQlSHyiC2iU3Zzi57VklkTnGC1Wu1yJlpzAQaq9SxbIe
HoI0ttO5h4z.XtqgVWZMZ1_kb4KirNQpG6hpeMi33FxhkrB8v7FHWkhzQeSIKthdtYP76.4hvxfm
k8VfqYdtnDalF3l2hT58q3NmzggwVLSZJyaBgbx.mWg7uzPpOJquvS477..pPKvV8hcdzYtqX3jT
2r5P8kQHZelV9Vaj6SLYFMCmQIxYVf3ZNe9KQNilZQXILOwWnHMgfGdkwyE7mNPc2TEZKAI.x965
RuDVRA907hsW1DxapU6RfykDLrnbwHC_nhPeONwlkExxz.kg3N_dMcgzGOG_kVC41RBnuuPui29p
TEbc_hPl3xIsTxhVl2_GOkDH7pjpNw9aURYxmxDIrRfpbcxXoV4dDJcI6pyKQybqO.qblzf9d7M4
jOwb8Wih5nZACDElI7zdK1oUaExzIZYeJ6BhBbXL.yZcRxbxZ3CaGECW4DghHvI._JaITfIdVyTK
i.VuoSCB1D1QWrXinlqwNX7PqKx5Wcllc0ri5FSvER1Br4NdQsiuRyq4de7pO8KkvFL2toJ3B8fS
HfAuKpUqrDS4jcCNpcmCim.XZu6nLSzCpT3WiGOrW6l6kTcGt11x_5Ja8msIQ9sshYWaZz.EroRP
pzLcVsVQm1uLMhGTVILCON76LMUQEiYD6ovPD3b_ELu5WDWI0Fz.i_h3UzYgDruv4iFCTL1A6wQR
VSwmZRdDWn8T80EJFPBeq6W3p9p7RYNdFWAY4yExRAKumiOT6LX1O29LigmY9kJMPzP22BaQHxT3
LhjVEpQVobF2YRqefsjk_9JyHZSrIyRQ6_2fgh6PWht289mUHqSmxppavq3PR3HrWL6XEXaufDRF
NuCFPogjD7vzISBDXlf51.QDDQC_kMYuMYsVcxti8d7Ca8ugMC3EL5earf_L9QiLeDaqd7Xg_pUr
bhoxEfiGqWshGUlXa2uoKpQXgPPBIlBkWi1Lw83hgD..BbymriGjeMyZ1QlPr9h6GqfEXBoGJQi9
Y3Gzk9gh74YQ52kYNTkt3rKOJ6bUyDoFnSKUWlSqmG8ZNn1doUsLAtK3T2YiZiyDIdMv2jZkcuh0
tXrKgwK0kyCbg_aE2T2pl6ETErSELQl6Od6h45MZN2T2VJKYM33S65ZA8rqY9L_NxNzKpw77fAdk
T8xvAFj.NraOLTpq6UC_ztQK_VKxO6H0sOPnof_EH6k.lT7NlcL_LYeNR.sVEqooe8GXlftqBAmj
YkJTvnok5juY3cLz0RkLpbTuPb8PSz24GOr90Uc0oHKXNl0pFaZX74RK5QoTO.KQeJThUcz7W4HY
qzn9CepFx2MOTtk0OTkEtDKrN42xbmKflEMqBIxzXezdMKRPfqglf3.WRNyVENpQj39Yajsp2ZSE
rECi2MsfW2Dljuwj6OK4j9BvwuPRSL4eFNl1s86k.fb6aDjzKlhpH3uwvPg_sXmyyXLbVp7ZZG0G
5nl0GLobEZTuAGnA5348MZ82Isxf1bxGmVAiPzwK0NApAWf4jGX8np3pzx7gH0SWlox6DVzW4gTI
39WEcoC2ajNKbXhrY_AHwCghZ6tF.qtMWp.hQQblggF6WuBx2slVaj3DgmJXh.wjTTJpKGArjE_8
-
X-Sonic-MF: <marklmi@yahoo.com>
X-Sonic-ID: c23f1db3-244e-474d-87e2-32a31b7eef38
Received: from sonic.gate.mail.ne1.yahoo.com by sonic315.consmr.mail.gq1.yahoo.com with HTTP; Sun, 11 Feb 2024 20:01:02 +0000
Received: by hermes--production-gq1-5c57879fdf-8lthq (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID a63ff5a372a596a694591fecdda62661;
Sun, 11 Feb 2024 20:00:59 +0000 (UTC)
Content-Type: text/plain;
charset=utf-8
List-Id: Porting FreeBSD to ARM processors <freebsd-arm.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-arm
List-Help: <mailto:freebsd-arm+help@freebsd.org>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Subscribe: <mailto:freebsd-arm+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-arm+unsubscribe@freebsd.org>
Sender: owner-freebsd-arm@freebsd.org
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.400.31\))
Subject: Re: How to use the L4 Microkernel with a FreeBSD userland.
From: Mark Millard <marklmi@yahoo.com>
In-Reply-To: <CA+1FSign02NftThWsgVVRV6Ec83-T1sATiUKh7dHmmoXzW-_mg@mail.gmail.com>
Date: Sun, 11 Feb 2024 12:00:48 -0800
Cc: freebsd-arm <freebsd-arm@freebsd.org>,
freebsd-hackers <freebsd-hackers@freebsd.org>,
FreeBSD Current <freebsd-current@freebsd.org>
Content-Transfer-Encoding: quoted-printable
Message-Id: <ACAAF976-6868-4A88-99CB-5254CDE6C81C@yahoo.com>
References: <CA+1FSijq0ez9+JXCSJP2rfWUXLjcTaEPJo-3NcO5Vu3H26L=hg@mail.gmail.com>
<071E080E-C0E6-40F0-A0DF-4FCC22FC004D@yahoo.com>
<CA+1FSign02NftThWsgVVRV6Ec83-T1sATiUKh7dHmmoXzW-_mg@mail.gmail.com>
To: Mario Marietto <marietto2008@gmail.com>
X-Mailer: Apple Mail (2.3774.400.31)
X-Spamd-Result: default: False [-4.00 / 15.00];
REPLY(-4.00)[];
ASN(0.00)[asn:36647, ipnet:98.137.64.0/20, country:US]
X-Rspamd-Queue-Id: 4TXz4119GHz4CkN
X-Spamd-Bar: ----
X-Rspamd-Pre-Result: action=no action;
module=replies;
Message is reply to one we originated
[Only replying to what I've subscribed to --and I dropped
Warner as well.]
On Feb 11, 2024, at 11:43, Mario Marietto <marietto2008@gmail.com> =
wrote:
> ok. But what does this mean ? That I can use whatever Linux distro I =
want ? Or even the FreeBSD world ?
Only to build L4Re.
The LR4e built will not contain any Linux userland materials,
nor any FreeBSD userland materials. LR4e has its own userland
materials that will be present instead.
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/
already contains pre-built .elf and .uimage files Why not use one
of those on the RPi4B?
By size (larger), the most complete ones for the RPi4B seem to be
(both formats):
=
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boot=
strap_vm-multi_rpi4.elf
=
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boot=
strap_vm-multi_rpi4.uimage
=
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boot=
strap_vm-basic_rpi4.elf
=
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boot=
strap_vm-basic_rpi4.uimage
> On Sun, Feb 11, 2024 at 7:59=E2=80=AFPM Mark Millard =
<marklmi@yahoo.com> wrote:
>=20
>=20
> On Feb 11, 2024, at 05:44, Mario Marietto <marietto2008@gmail.com> =
wrote:
>=20
> > I'm trying to understand how to use the L4 Microkernel with a =
FreeBSD userland. I've asked the same to a L4 developer,but he told me =
that he does not know FreeBSD,so I'm here to ask the same question. =
First of all I'm sure that it can be done,because it is written clearly =
on their website :
> >=20
> >=20
> > http://os.inf.tu-dresden.de/L4Re/download/snapshots/
> >=20
> >=20
> > on the section :
> > Host system requirements
> > The host system shall be a 64bit-based system with a recent Linux =
distribution installed and at least 2GB of free disk space.
> > All necessary tools required by the build are available from the =
provided packages of the Linux distributions, including cross compilers. =
But there are also other cross compiler packages available (see below). =
You might want to run make check_build_tools in the src/l4 directory to =
verify the common tools are installed.
> > You are free to use any Linux distribution you like, or even BSDs or =
any of its derivatives. But then you should know the game. Especially =
tool versions should be recent, as installed on the listed distributions =
below.
> > We are confident that the snapshot works on the following =
distributions:
> > =E2=80=A2 Debian 11 or later
> > =E2=80=A2 Ubuntu 22.04 or later
> >=20
> > Let's say I want to use the L4 microkernel + FreeBSD 14 on my =
Raspberry Pi 4,the first step I did was to build L4Re for the =
Rpi,according with this instructions :
> >=20
> >=20
> > http://os.inf.tu-dresden.de/L4Re/rpi.html=20
> >=20
> > This is the log file of the compilation,that hasn't given any error =
:
> >=20
> >=20
> > https://pastebin.ubuntu.com/p/6SwN2mpJBM/
> >=20
> >=20
> > Or I could have taken a pre built image of the L4 microkernel here :=20=
> >=20
> >=20
> > =
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/
> >=20
> >=20
> >=20
> > At this point the tutorial says that I should use a Linux distro. =
They suggest the official distro for the Raspberry Pi 4,that's RaspBian. =
But I don't want to use Linux as a userland,I want to use FreeBSD. The =
question now is : what should I do to achieve that goal ? How can I link =
the L4 microkernel with the ubldr bootloader of FreeBSD ? Or should I =
link it to the kernel of FreeBSD ? Can someone explain to me the missing =
step ? thanks.
>=20
> QUOTING the "Configuring yourself" section:
> The make setup step configures predefined setups for both the L4Re =
microkernel (Fiasco) and the L4Re user-level software, and connects both =
together so the images for the target system can be built.
> END QUOTE
>=20
> So L4Re has its own user-level software, not just a kernel. There is =
no use of a Linux or FreeBSD user-level software
> when L4Re is booted. (They are just used for building.)
>=20
> "The host system" is just a host for building the L4Re parts and =
assembling the image from the parts. The "Pulling it together" section =
is about combining the parts (including the microkernel and the =
user-level software) to make the overall image that does not include =
Linux or FreeBSD code.
=3D=3D=3D
Mark Millard
marklmi at yahoo.com
From nobody Sun Feb 11 20:19:37 2024
X-Original-To: freebsd-arm@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TXzTl3nLtz5BLsf
for <freebsd-arm@mlmmj.nyi.freebsd.org>; Sun, 11 Feb 2024 20:19:55 +0000 (UTC)
(envelope-from marklmi@yahoo.com)
Received: from sonic307-55.consmr.mail.gq1.yahoo.com (sonic307-55.consmr.mail.gq1.yahoo.com [98.137.64.31])
(using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
(Client did not present a certificate)
by mx1.freebsd.org (Postfix) with ESMTPS id 4TXzTk3P2Sz4GKp
for <freebsd-arm@freebsd.org>; Sun, 11 Feb 2024 20:19:54 +0000 (UTC)
(envelope-from marklmi@yahoo.com)
Authentication-Results: mx1.freebsd.org;
dkim=pass header.d=yahoo.com header.s=s2048 header.b=HnxfKdX2;
dmarc=pass (policy=reject) header.from=yahoo.com;
spf=pass (mx1.freebsd.org: domain of marklmi@yahoo.com designates 98.137.64.31 as permitted sender) smtp.mailfrom=marklmi@yahoo.com
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707682792; bh=xR6OX2014z4HIfz/Wd4YLO5QueVY6B1wIqKoV3Y3mQs=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From:Subject:Reply-To; b=HnxfKdX2BdKvh+qr3hYZ4xZJN86j7M9GFnfqN9wl3AB/kT7yZPJVBsacad+M6SvQUYiwjV6TIYxT7YkSdC5cIu/57TWvitiOWqdpyoKivzdho4vmMQ7LZQDMDGTzlwgJdDrHwjDN19fM2Sy4mZCD06yD+VBrdseyn9dFfg5LMKc+5rDgrl75jrmzReDbDA2zoUtBLyRpUx4dLk8GenW5T1iSoTsR1RT8IDI0hesFM80ZsGGFcDuyhJ4MDG9asfTnfA47xzZZiOzcJq/6myfmtklhdkgg5W9OOUMHQJl91paNCMVsS0vbU96f2qFgvTkqgx+k0Pv+HvdOuOnnSA1azQ==
X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1707682792; bh=vJV5jWMYMxoXt5whtMzteQPKdKPfy+lPO/JJeo/CNUb=; h=X-Sonic-MF:Subject:From:Date:To:From:Subject; b=oGYvpIBVrihjD7F8mVn6EthML9Qxij3zWnLmdGqCd7DJgp4uwUIlZkXs6IJk6NWAr8HNNpKq4TppDAYrAWHUsmhjTA6j0HukhiS3kCOB+oplp95/AYfWS8OqtYaHvn2gwiO7yovn+R/T2yzoBDuxnrzWC+iPwvBmP3yN/NIOx2vAYNj2WM5fKTKUXBIssHOdqeddGGl6ytzArquAdn9eZ+SnH8OMuPCfKz1N0vB80ttO7ykKw6Kb3ArfIuV+S4MuCkRX8/KSrjlUpOuUONQBLGKZYXSU1J96mBvsMtG2t+sblMJVhBIal8osUmT6RN4c0Ll3RmdyIKB/i1GppKdJ3Q==
X-YMail-OSG: _hCjVlcVM1mrQh5OY_Jq2BPpzjblsounr.0al0q_XfHrpc6Qs1FGJD7n9ru073n
DM3oOpp6SgErsZg7sAl.18JzBOUiTgm8zA5bDgLWHmM0H.Prow_aSdV2NQIwZMM0vPJn51t6f9qt
E_LwyxGlOnXRU2lO0uemqUVnw3jOR5Pj5J6mNpuq_rv2PKFJBNf_ZFqRi5FqEQWlQ8o2nEiV3J3R
728oA88aQfqLnWFi0S3qhDwEY5VdP.xws9wUjF3NIb_edtOAgWdLy1ifk6CIv1XfEadk6RHDWz1I
LUx0nCldpGrKoBjXpgRYaUK2c9VRPxl_8VdaU5D7vhg636nCghQPAeViGZ.5J8bwzfe1ubJxeV7k
D5aKn1JjZ9KNEiauflNF9umC0LW4JAeuQSA_39kqsgsuZUMnGzqqedF3EKJfadAe.5rNY6mEFdAl
UG385I.u540oJugk1oBZ5j3jegvA.oL.t7nouH.kB6nE2Q6eWkaVgdJKlIAis2RgtkiOqQ7uqTmz
B2n1cOCeEiB4Zm3fJT8UXRAHypPt9Kmu8U0Vx7SGsc4zcbTYbEhFoQbhkDDidpxbSobkgwIZWg2e
Q7X7NI_VjJc9LgNHV3qpmn3sY3B_gNBJISs67qz3COKnO06ORrhgB9MSF7G4XZikvPzwIH2KSvX8
6hcw2O4SQE8qi05l4gcDTQMqOrFgTjYJ3lua6ZUyn.ePpp0zgJWv1Ky2G3.oCnlgmAFds5LN9huw
_AitC2QsCEKSCzJhE4Kk3_wLR15oZ3txvkhUeo6qlzCBKP2f58bDTnv7W3.XIvc1_sqLmkhabYjM
jUAgX4eJZjnHZHEOB6lPiK9POj.peKwVUFkXtsZgOwL9W0_27x2K6Sj0h5c5WhWm4RfGLTHYKSg0
rurJJhXfX7euwCL2enKAisnGZFbrOCi2jSxnYrNLmtQhDRf1xtvSYQCHSHE32Jx8ExlSMXZ_iDM2
4Zp5oC1CISBImPuuFY6u7X2LHr6.QRCmRDu1iw3ESqNEB6F1kghQJfz3IqhLC.VDcLW65RbUrURp
kWF_w2A5aLXfOY5fTD_rUZQflHz.I5YQj6nAQLRjYKxgdnAr.jSI9NCvcP5bhSOXF8qvmy0JeB.2
YW_663g7zUSpiMqYpFrU2wRmgJlMFeTC6TJ7DcRPf8j3IdWxe3araCEEYcXlst1IBJSqt5yR26HL
8y0eOW1NgW3D_bwEyJG982UyoIwW.qilp8OfX45j0ekUObQ71l8GgLR_RV8FwvvjhtN.SP_djPwp
Hg9X1A6spTotCkwEHjey.jGB9DEfBw4hwJJvzTnFGZtzOzkBFK3NT_cOXxR0Z9S5lCM9aeaXtkmu
qGdQZE96ecxXfIPWKnA2DAhpoLJWWXW7Q20N8SIHlxY5tnhsLsudiqSp50_ScZgarSEjjY3HtG97
u7da7QS_eVLA_mNIZMk1vSBIeliDZgcO2a7ijkVsb_.1leQLiWYEzanXyaH5NBLXIqVxlvCS3ID9
3me0nc9SSW1H7agVyUJDPAZ.mg5QN1zdkS6NTAWk6BHtK4gIZXWhOtkg1GKvuNO7v3k_clQnXJtJ
6wfOfAQuXSBucxfTbtjFAEAdCeNZNLBzAt5MberS_6yZDvuYoaKIaBkcEfcTxJhP9FouuA1ZXdam
PwYjLnVpLAl9PsXCn62xFSiW_7W_AbNd2oTUEfAOay9EXPLzO6fK9hMMH3bwkJa7YAnZl_59XWwR
do0PazeS3B6z5Fw_sKnY0K0E.77jPj.lH7R.8s8FblDwN2Br.TOhGjTSzixCgJPFAYrZMaaHlM0w
RjuSvthPzKwrhLtGTusyhjLraJAc50fTvCcv_FsLjTM8NDL8DUus0HfmlTzHajaKEK3d_Fk.9V15
Libp7nOioygk7Dx8SjnNG2VjCXCHPU4Ec9yurG4FUf.0gbX2mqqPY.Bq4EkTttYYFcWTB8IMhdDw
_YFpagegq7RrI4_MGzjGxpIAIz2bwFPN5h9DVddq0CwkB0.2K9BDMrrGT9Uy1H_MKa4TWMcdXwg5
5jiVe2L.SS821F8MUX.lxtaReUvnZTeVeTIvesocb9aXxwMYD_YpxscQTQRPnu84JAma2JrbHokh
hpFAnoxB06jFnIRXzL7h1vhC7jEmB04M18UROpenlwAPgz0mWa2TiL0WjryK_S7sDxl7DGNQPE6D
Vkm6Y_iT2OKOPjaetQdh2RnkrMWDCXhMHChdhV32yoCVIEwh5BA_caTeYZeRNHaimF0d8gZz6f1S
ApUmSlGjrdkZ_1IluVK3XYIQ1g5VZsQROY7mVbnCNwkyOVdddMP1g3rozL97kOjW1ev9__Oq.yT3
x
X-Sonic-MF: <marklmi@yahoo.com>
X-Sonic-ID: 18dc93b6-771f-446c-95fe-00cca58ac448
Received: from sonic.gate.mail.ne1.yahoo.com by sonic307.consmr.mail.gq1.yahoo.com with HTTP; Sun, 11 Feb 2024 20:19:52 +0000
Received: by hermes--production-gq1-5c57879fdf-4h5cs (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID d515e58ab47f5f7684b95deda0e6d8ee;
Sun, 11 Feb 2024 20:19:48 +0000 (UTC)
Content-Type: text/plain;
charset=utf-8
List-Id: Porting FreeBSD to ARM processors <freebsd-arm.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-arm
List-Help: <mailto:freebsd-arm+help@freebsd.org>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Subscribe: <mailto:freebsd-arm+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-arm+unsubscribe@freebsd.org>
Sender: owner-freebsd-arm@freebsd.org
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.400.31\))
Subject: Re: How to use the L4 Microkernel with a FreeBSD userland.
From: Mark Millard <marklmi@yahoo.com>
In-Reply-To: <ACAAF976-6868-4A88-99CB-5254CDE6C81C@yahoo.com>
Date: Sun, 11 Feb 2024 12:19:37 -0800
Cc: freebsd-arm <freebsd-arm@freebsd.org>,
freebsd-hackers <freebsd-hackers@freebsd.org>,
FreeBSD Current <freebsd-current@freebsd.org>
Content-Transfer-Encoding: quoted-printable
Message-Id: <440C30BB-5093-4ECB-94BE-21C73D461D0C@yahoo.com>
References: <CA+1FSijq0ez9+JXCSJP2rfWUXLjcTaEPJo-3NcO5Vu3H26L=hg@mail.gmail.com>
<071E080E-C0E6-40F0-A0DF-4FCC22FC004D@yahoo.com>
<CA+1FSign02NftThWsgVVRV6Ec83-T1sATiUKh7dHmmoXzW-_mg@mail.gmail.com>
<ACAAF976-6868-4A88-99CB-5254CDE6C81C@yahoo.com>
To: Mario Marietto <marietto2008@gmail.com>
X-Mailer: Apple Mail (2.3774.400.31)
X-Spamd-Bar: ---
X-Spamd-Result: default: False [-4.00 / 15.00];
NEURAL_HAM_LONG(-1.00)[-1.000];
NEURAL_HAM_MEDIUM(-1.00)[-1.000];
NEURAL_HAM_SHORT(-1.00)[-0.998];
DMARC_POLICY_ALLOW(-0.50)[yahoo.com,reject];
R_SPF_ALLOW(-0.20)[+ptr:yahoo.com];
R_DKIM_ALLOW(-0.20)[yahoo.com:s=s2048];
MIME_GOOD(-0.10)[text/plain];
FROM_HAS_DN(0.00)[];
TO_DN_ALL(0.00)[];
RCVD_TLS_LAST(0.00)[];
FREEMAIL_TO(0.00)[gmail.com];
MIME_TRACE(0.00)[0:+];
ARC_NA(0.00)[];
DWL_DNSWL_NONE(0.00)[yahoo.com:dkim];
FREEMAIL_FROM(0.00)[yahoo.com];
DKIM_TRACE(0.00)[yahoo.com:+];
ASN(0.00)[asn:36647, ipnet:98.137.64.0/20, country:US];
FREEMAIL_ENVFROM(0.00)[yahoo.com];
TO_MATCH_ENVRCPT_SOME(0.00)[];
RCVD_COUNT_TWO(0.00)[2];
FROM_EQ_ENVFROM(0.00)[];
RCPT_COUNT_THREE(0.00)[4];
MLMMJ_DEST(0.00)[freebsd-arm@freebsd.org];
APPLE_MAILER_COMMON(0.00)[];
MID_RHS_MATCH_FROM(0.00)[];
RCVD_VIA_SMTP_AUTH(0.00)[];
RWL_MAILSPIKE_POSSIBLE(0.00)[98.137.64.31:from];
RCVD_IN_DNSWL_NONE(0.00)[98.137.64.31:from]
X-Rspamd-Queue-Id: 4TXzTk3P2Sz4GKp
On Feb 11, 2024, at 12:00, Mark Millard <marklmi@yahoo.com> wrote:
> [Only replying to what I've subscribed to --and I dropped
> Warner as well.]
>=20
> On Feb 11, 2024, at 11:43, Mario Marietto <marietto2008@gmail.com> =
wrote:
>=20
>> ok. But what does this mean ? That I can use whatever Linux distro I =
want ? Or even the FreeBSD world ?
>=20
> Only to build L4Re.
>=20
> The LR4e built will not contain any Linux userland materials,
> nor any FreeBSD userland materials. LR4e has its own userland
> materials that will be present instead.
>=20
> http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/
>=20
> already contains pre-built .elf and .uimage files Why not use one
> of those on the RPi4B?
>=20
> By size (larger), the most complete ones for the RPi4B seem to be
> (both formats):
>=20
> =
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boot=
strap_vm-multi_rpi4.elf
> =
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boot=
strap_vm-multi_rpi4.uimage
>=20
> =
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boot=
strap_vm-basic_rpi4.elf
> =
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boot=
strap_vm-basic_rpi4.uimage
May be you are wanting to run FreeBSD in a virtual machine
in the LR4e environment? For example,
http://os.inf.tu-dresden.de/L4Re/screens.html
shows a "Virtualized Linux running in a window" that is using
a virtual machine environment to run Linux in, not directly
using the Linux userland with the microkernel. It also shows
an example of "A vritual machine" that shows a GNU GRUB
running in the virtual machine.
For this the pre-built images should be sufficient: no need to
build your own L4Re. It is the virtual machine configuration
that would be then at issue.
>> On Sun, Feb 11, 2024 at 7:59=E2=80=AFPM Mark Millard =
<marklmi@yahoo.com> wrote:
>>=20
>>=20
>> On Feb 11, 2024, at 05:44, Mario Marietto <marietto2008@gmail.com> =
wrote:
>>=20
>>> I'm trying to understand how to use the L4 Microkernel with a =
FreeBSD userland. I've asked the same to a L4 developer,but he told me =
that he does not know FreeBSD,so I'm here to ask the same question. =
First of all I'm sure that it can be done,because it is written clearly =
on their website :
>>>=20
>>>=20
>>> http://os.inf.tu-dresden.de/L4Re/download/snapshots/
>>>=20
>>>=20
>>> on the section :
>>> Host system requirements
>>> The host system shall be a 64bit-based system with a recent Linux =
distribution installed and at least 2GB of free disk space.
>>> All necessary tools required by the build are available from the =
provided packages of the Linux distributions, including cross compilers. =
But there are also other cross compiler packages available (see below). =
You might want to run make check_build_tools in the src/l4 directory to =
verify the common tools are installed.
>>> You are free to use any Linux distribution you like, or even BSDs or =
any of its derivatives. But then you should know the game. Especially =
tool versions should be recent, as installed on the listed distributions =
below.
>>> We are confident that the snapshot works on the following =
distributions:
>>> =E2=80=A2 Debian 11 or later
>>> =E2=80=A2 Ubuntu 22.04 or later
>>>=20
>>> Let's say I want to use the L4 microkernel + FreeBSD 14 on my =
Raspberry Pi 4,the first step I did was to build L4Re for the =
Rpi,according with this instructions :
>>>=20
>>>=20
>>> http://os.inf.tu-dresden.de/L4Re/rpi.html=20
>>>=20
>>> This is the log file of the compilation,that hasn't given any error =
:
>>>=20
>>>=20
>>> https://pastebin.ubuntu.com/p/6SwN2mpJBM/
>>>=20
>>>=20
>>> Or I could have taken a pre built image of the L4 microkernel here :=20=
>>>=20
>>>=20
>>> =
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/
>>>=20
>>>=20
>>>=20
>>> At this point the tutorial says that I should use a Linux distro. =
They suggest the official distro for the Raspberry Pi 4,that's RaspBian. =
But I don't want to use Linux as a userland,I want to use FreeBSD. The =
question now is : what should I do to achieve that goal ? How can I link =
the L4 microkernel with the ubldr bootloader of FreeBSD ? Or should I =
link it to the kernel of FreeBSD ? Can someone explain to me the missing =
step ? thanks.
>>=20
>> QUOTING the "Configuring yourself" section:
>> The make setup step configures predefined setups for both the L4Re =
microkernel (Fiasco) and the L4Re user-level software, and connects both =
together so the images for the target system can be built.
>> END QUOTE
>>=20
>> So L4Re has its own user-level software, not just a kernel. There is =
no use of a Linux or FreeBSD user-level software
>> when L4Re is booted. (They are just used for building.)
>>=20
>> "The host system" is just a host for building the L4Re parts and =
assembling the image from the parts. The "Pulling it together" section =
is about combining the parts (including the microkernel and the =
user-level software) to make the overall image that does not include =
Linux or FreeBSD code.
=3D=3D=3D
Mark Millard
marklmi at yahoo.com
From nobody Sun Feb 11 21:00:27 2024
X-Original-To: freebsd-arm@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TY0NX0s9dz5BQ6M
for <freebsd-arm@mlmmj.nyi.freebsd.org>; Sun, 11 Feb 2024 21:00:28 +0000 (UTC)
(envelope-from bugzilla-noreply@FreeBSD.org)
Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256
client-signature RSA-PSS (4096 bits) client-digest SHA256)
(Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK))
by mx1.freebsd.org (Postfix) with ESMTPS id 4TY0NW5rCzz4McT
for <freebsd-arm@FreeBSD.org>; Sun, 11 Feb 2024 21:00:27 +0000 (UTC)
(envelope-from bugzilla-noreply@FreeBSD.org)
ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1707685227; a=rsa-sha256; cv=none;
b=fOthLpOD5SrudAytvT6l+qsn7OZQpz+d3DmbZvAT4OJhqy/96L/JNEROzJWz974c8VVBw1
rzxm6P6U/yyU0SebkeYYlvvoSoySFWXPW8SqHSDlotq5hhg+gFgfb+gfG7Dy6clMlkbGKb
bQE9rWbqnyBsqKxaBOm60i7GbeT7Dpjy3CngCrWCRlyiC1FWmJrwrofHIf7yVZeX5Fu5N1
9dav3OB+UZCWz1z+P+mwR9GzOb0HU5KpEMpDOA4WpBJ6pFkCP6wgh4K9ErRMMHqcWFmiFw
kZGul7QYfmlfMjtnpMZyUPV2UWX7DuNK7QyWidwoO0c6xiaPmzWfLpOUhFt5fw==
ARC-Authentication-Results: i=1;
mx1.freebsd.org;
none
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org;
s=dkim; t=1707685227;
h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
to:to:cc:mime-version:mime-version:content-type:content-type:
content-transfer-encoding:content-transfer-encoding;
bh=tYp27xLy7Mp+dYZRrxf9jSEyGqiwnFMiSri1JEChJA0=;
b=q0NF1xwIToIgaiwpkZWG+XZ8hwwC1dF/NPiF1ag5dXQ+5BYgdtm7d3XVBUEymV3QYV/9Jq
ANVZ/qVEdoBPlzjjTKzPyawtl/GvU99dmHB2RtBDDVV0l7ioNlrkP8oPaqR5CZfbeNk6Ax
fpa4vkMSqoHisjWzGvYy4uqMPsqy85axZfVzCCpFqhPKnHXnZTTPICEG0Q8bmBI2NJt1S/
sRLKWlob/BWzUEGB0Y83dAy6G2rti7PIlhZ7BtmPKd1f/rSpJIgPrc0sd2T+eqwsAn2lrN
ro8yVYY99ORtp1BrjsGxreDiy9yD1jxGS3VSLLxYY8ieHcKawalQScVsiGNcpg==
Received: from kenobi.freebsd.org (kenobi.freebsd.org [IPv6:2610:1c1:1:606c::50:1d])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
(Client did not present a certificate)
by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4TY0NW4pGbz1Cpj
for <freebsd-arm@FreeBSD.org>; Sun, 11 Feb 2024 21:00:27 +0000 (UTC)
(envelope-from bugzilla-noreply@FreeBSD.org)
Received: from kenobi.freebsd.org ([127.0.1.5])
by kenobi.freebsd.org (8.15.2/8.15.2) with ESMTP id 41BL0RPx080021
for <freebsd-arm@FreeBSD.org>; Sun, 11 Feb 2024 21:00:27 GMT
(envelope-from bugzilla-noreply@FreeBSD.org)
Received: (from bugzilla@localhost)
by kenobi.freebsd.org (8.15.2/8.15.2/Submit) id 41BL0RU5080020
for freebsd-arm@FreeBSD.org; Sun, 11 Feb 2024 21:00:27 GMT
(envelope-from bugzilla-noreply@FreeBSD.org)
Message-Id: <202402112100.41BL0RU5080020@kenobi.freebsd.org>
X-Authentication-Warning: kenobi.freebsd.org: bugzilla set sender to bugzilla-noreply@FreeBSD.org using -f
From: bugzilla-noreply@FreeBSD.org
To: freebsd-arm@FreeBSD.org
Subject: Problem reports for freebsd-arm@FreeBSD.org that need special
attention
Date: Sun, 11 Feb 2024 21:00:27 +0000
List-Id: Porting FreeBSD to ARM processors <freebsd-arm.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-arm
List-Help: <mailto:freebsd-arm+help@freebsd.org>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Subscribe: <mailto:freebsd-arm+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-arm+unsubscribe@freebsd.org>
Sender: owner-freebsd-arm@freebsd.org
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="17076852274.B4C3.75515"
Content-Transfer-Encoding: 7bit
--17076852274.B4C3.75515
Date: Sun, 11 Feb 2024 21:00:27 +0000
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
To view an individual PR, use:
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=(Bug Id).
The following is a listing of current problems submitted by FreeBSD users,
which need special attention. These represent problem reports covering
all versions including experimental development code and obsolete releases.
Status | Bug Id | Description
------------+-----------+---------------------------------------------------
Open | 257670 | mpr(4): SAS3008 PCI-Express Fusion-MPT SAS-3: Fat
Open | 264574 | sdhci(4): Support ACPI attachment in BCM2835_sdhc
2 problems total for which you should take action.
--17076852274.B4C3.75515
Date: Sun, 11 Feb 2024 21:00:27 +0000
MIME-Version: 1.0
Content-Type: text/html; charset="UTF-8"
<pre style="font-family: monospace;">
The following is a listing of current problems submitted by FreeBSD users,
which need special attention. These represent problem reports covering
all versions including experimental development code and obsolete releases.
Status | Bug Id | Description
------------+-----------+---------------------------------------------------
Open | <a href="https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=257670">257670</a> | <a href="https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=257670">mpr(4): SAS3008 PCI-Express Fusion-MPT SAS-3: Fat</a>
Open | <a href="https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=264574">264574</a> | <a href="https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=264574">sdhci(4): Support ACPI attachment in BCM2835_sdhc</a>
2 problems total for which you should take action.
</pre>
--17076852274.B4C3.75515--
From nobody Sun Feb 11 21:20:31 2024
X-Original-To: freebsd-arm@mlmmj.nyi.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1])
by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4TY0rS00skz5BRxS;
Sun, 11 Feb 2024 21:21:12 +0000 (UTC)
(envelope-from marietto2008@gmail.com)
Received: from mail-ej1-x629.google.com (mail-ej1-x629.google.com [IPv6:2a00:1450:4864:20::629])
(using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256
client-signature RSA-PSS (2048 bits) client-digest SHA256)
(Client CN "smtp.gmail.com", Issuer "GTS CA 1D4" (verified OK))
by mx1.freebsd.org (Postfix) with ESMTPS id 4TY0rR5BFgz4S9F;
Sun, 11 Feb 2024 21:21:11 +0000 (UTC)
(envelope-from marietto2008@gmail.com)
Authentication-Results: mx1.freebsd.org;
none
Received: by mail-ej1-x629.google.com with SMTP id a640c23a62f3a-a389ea940f1so264287466b.3;
Sun, 11 Feb 2024 13:21:11 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=gmail.com; s=20230601; t=1707686469; x=1708291269; darn=freebsd.org;
h=cc:to:subject:message-id:date:from:in-reply-to:references
:mime-version:from:to:cc:subject:date:message-id:reply-to;
bh=xeHtVQdAQLEHf2UQBfps7ap101IjZY+AJevs+m2/nuc=;
b=G8b+A4pvuIT2zuo31Iv1kTSqYASYAhsmRqq8nMPmG2rmVYsjM0XVUq1JJ7t8dN6ckb
uXmLqq3tiEI1SFyhd4c645igoyjCj3yyKy2LdbbFQmqeWqDrKhm9PxCAFyDyzpOqS4Ue
CQIzBL42EVesf3hUBm2tPUDig/dmbL5789vFRevsDNG/4Ko8KqCATFwmMVpUL5vBuTWt
xDcPZdpLd4Y2C2rYxICJrneufwEQQ8usdZiIjdkNpGb48ybFnuvFrnfYtxvGO1pcxEr0
HAQ3s6tdMi5tP5RLEkfvsz2uGQGrTwGGSdw6z1+ijU4kxX73Hi6lf7DRs4iQI2L7CgLK
tNLg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=1e100.net; s=20230601; t=1707686469; x=1708291269;
h=cc:to:subject:message-id:date:from:in-reply-to:references
:mime-version:x-gm-message-state:from:to:cc:subject:date:message-id
:reply-to;
bh=xeHtVQdAQLEHf2UQBfps7ap101IjZY+AJevs+m2/nuc=;
b=PvSUuTThqQPmZaflVyFRd1bmuEvDx56ypr3Tukz7Kv0CAVrMDwy6P3s885i1k895ke
XCoKJ09Lc2E6sc6o7DfEwT5qexFQbJ7t49wjY7YKTTeZx6sdGuW+aj4WQ4gxu24p0YBk
pCYsKP6C+0uoE6CwQ/Ip0rQwPh+UzZfMd59EDS5moTJjMMOYNOZeAzr7mt9VczJHasSm
pBBKTyBFxH/D9SJBabn2v3f0+hO89CA4YYX64ixYWmrPX+t/Vr0XICVrmIOwz1sG4Jll
TIpFTscCgsNCaoRi238kqPBZoKZB3LVnyBry0RVhMlaIm+LsJqrLJf8gcAB/Vfet+Vn4
9dmQ==
X-Forwarded-Encrypted: i=1; AJvYcCUrNSfBUyAOgMC+v4kuOpzLwDvrtKxIvRODzqAvHCb0JYqT21xhx6lvHXaT/ntEmWJlq2FwXdUkZ+B45/a3tqPTYni8Vz3Fr132SQ0fFoIzyf/2w96gstzk2kUu7BlTZMeARd01P+qLrA==
X-Gm-Message-State: AOJu0YynXk5six7qGx7EuicIiGnVuypOSVdq7r7E+MINBd3+lMTYkiQY
gHY4kpWNMkb0PcCLFI0VrLQI2RsOWLAamaTBrge+JunBDd7qetfwUrPKxShwQ795k23ZzC2M3wb
qmhT72CcttgqHlJAx4CnaQMXUNh7wfj3CTcc=
X-Google-Smtp-Source: AGHT+IH/73crJOAJhtQAqCPoynkT4lUI57qk/itols7gYu5KccUi/FdHuoeSZ138iHMp7kZe42lVSabAc2BW9UAtS3U=
X-Received: by 2002:a17:906:6890:b0:a3c:7dd9:4d37 with SMTP id
n16-20020a170906689000b00a3c7dd94d37mr1672057ejr.31.1707686468426; Sun, 11
Feb 2024 13:21:08 -0800 (PST)
List-Id: Porting FreeBSD to ARM processors <freebsd-arm.freebsd.org>
List-Archive: https://lists.freebsd.org/archives/freebsd-arm
List-Help: <mailto:freebsd-arm+help@freebsd.org>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Subscribe: <mailto:freebsd-arm+subscribe@freebsd.org>
List-Unsubscribe: <mailto:freebsd-arm+unsubscribe@freebsd.org>
Sender: owner-freebsd-arm@freebsd.org
MIME-Version: 1.0
References: <CA+1FSijq0ez9+JXCSJP2rfWUXLjcTaEPJo-3NcO5Vu3H26L=hg@mail.gmail.com>
<071E080E-C0E6-40F0-A0DF-4FCC22FC004D@yahoo.com> <CA+1FSign02NftThWsgVVRV6Ec83-T1sATiUKh7dHmmoXzW-_mg@mail.gmail.com>
<ACAAF976-6868-4A88-99CB-5254CDE6C81C@yahoo.com>
In-Reply-To: <ACAAF976-6868-4A88-99CB-5254CDE6C81C@yahoo.com>
From: Mario Marietto <marietto2008@gmail.com>
Date: Sun, 11 Feb 2024 22:20:31 +0100
Message-ID: <CA+1FSiiy7TD+o=OxZESJr4ExDFajy1ZdkusJ+A50qb4WYqS0nQ@mail.gmail.com>
Subject: Re: How to use the L4 Microkernel with a FreeBSD userland.
To: Mark Millard <marklmi@yahoo.com>
Cc: freebsd-arm <freebsd-arm@freebsd.org>, freebsd-hackers <freebsd-hackers@freebsd.org>,
FreeBSD Current <freebsd-current@freebsd.org>
Content-Type: multipart/alternative; boundary="000000000000569ef8061121bd60"
X-Spamd-Result: default: False [-4.00 / 15.00];
REPLY(-4.00)[];
ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US]
X-Rspamd-Queue-Id: 4TY0rR5BFgz4S9F
X-Spamd-Bar: ----
X-Rspamd-Pre-Result: action=no action;
module=replies;
Message is reply to one we originated
--000000000000569ef8061121bd60
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
I will do it as soon as I get all the necessary tools to turn on the
Raspberry Pi 4b. I was thinking that L4 worked like the old project
coLinux,where Linux ran as a list of processes under WIndows. In my sick
mind I'd thought that L4 allows FreeBSD to run as a list of processes with
the L4 microkernel itself on "top" of it. Do you know if something like
this exists ?
On Sun, Feb 11, 2024 at 9:01=E2=80=AFPM Mark Millard <marklmi@yahoo.com> wr=
ote:
> [Only replying to what I've subscribed to --and I dropped
> Warner as well.]
>
> On Feb 11, 2024, at 11:43, Mario Marietto <marietto2008@gmail.com> wrote:
>
> > ok. But what does this mean ? That I can use whatever Linux distro I
> want ? Or even the FreeBSD world ?
>
> Only to build L4Re.
>
> The LR4e built will not contain any Linux userland materials,
> nor any FreeBSD userland materials. LR4e has its own userland
> materials that will be present instead.
>
> http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/
>
> already contains pre-built .elf and .uimage files Why not use one
> of those on the RPi4B?
>
> By size (larger), the most complete ones for the RPi4B seem to be
> (both formats):
>
>
> http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boo=
tstrap_vm-multi_rpi4.elf
>
> http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boo=
tstrap_vm-multi_rpi4.uimage
>
>
> http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boo=
tstrap_vm-basic_rpi4.elf
>
> http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boo=
tstrap_vm-basic_rpi4.uimage
>
>
> > On Sun, Feb 11, 2024 at 7:59=E2=80=AFPM Mark Millard <marklmi@yahoo.com=
> wrote:
> >
> >
> > On Feb 11, 2024, at 05:44, Mario Marietto <marietto2008@gmail.com>
> wrote:
> >
> > > I'm trying to understand how to use the L4 Microkernel with a FreeBSD
> userland. I've asked the same to a L4 developer,but he told me that he do=
es
> not know FreeBSD,so I'm here to ask the same question. First of all I'm
> sure that it can be done,because it is written clearly on their website :
> > >
> > >
> > > http://os.inf.tu-dresden.de/L4Re/download/snapshots/
> > >
> > >
> > > on the section :
> > > Host system requirements
> > > The host system shall be a 64bit-based system with a recent Linux
> distribution installed and at least 2GB of free disk space.
> > > All necessary tools required by the build are available from the
> provided packages of the Linux distributions, including cross compilers.
> But there are also other cross compiler packages available (see below). Y=
ou
> might want to run make check_build_tools in the src/l4 directory to verif=
y
> the common tools are installed.
> > > You are free to use any Linux distribution you like, or even BSDs or
> any of its derivatives. But then you should know the game. Especially too=
l
> versions should be recent, as installed on the listed distributions below=
.
> > > We are confident that the snapshot works on the following
> distributions:
> > > =E2=80=A2 Debian 11 or later
> > > =E2=80=A2 Ubuntu 22.04 or later
> > >
> > > Let's say I want to use the L4 microkernel + FreeBSD 14 on my
> Raspberry Pi 4,the first step I did was to build L4Re for the Rpi,accordi=
ng
> with this instructions :
> > >
> > >
> > > http://os.inf.tu-dresden.de/L4Re/rpi.html
> > >
> > > This is the log file of the compilation,that hasn't given any error =
:
> > >
> > >
> > > https://pastebin.ubuntu.com/p/6SwN2mpJBM/
> > >
> > >
> > > Or I could have taken a pre built image of the L4 microkernel here :
> > >
> > >
> > > http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64=
/
> > >
> > >
> > >
> > > At this point the tutorial says that I should use a Linux distro. The=
y
> suggest the official distro for the Raspberry Pi 4,that's RaspBian. But I
> don't want to use Linux as a userland,I want to use FreeBSD. The question
> now is : what should I do to achieve that goal ? How can I link the L4
> microkernel with the ubldr bootloader of FreeBSD ? Or should I link it to
> the kernel of FreeBSD ? Can someone explain to me the missing step ? than=
ks.
> >
> > QUOTING the "Configuring yourself" section:
> > The make setup step configures predefined setups for both the L4Re
> microkernel (Fiasco) and the L4Re user-level software, and connects both
> together so the images for the target system can be built.
> > END QUOTE
> >
> > So L4Re has its own user-level software, not just a kernel. There is no
> use of a Linux or FreeBSD user-level software
> > when L4Re is booted. (They are just used for building.)
> >
> > "The host system" is just a host for building the L4Re parts and
> assembling the image from the parts. The "Pulling it together" section is
> about combining the parts (including the microkernel and the user-level
> software) to make the overall image that does not include Linux or FreeBS=
D
> code.
>
>
> =3D=3D=3D
> Mark Millard
> marklmi at yahoo.com
>
>
--=20
Mario.
--000000000000569ef8061121bd60
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr"><div>I will do it as soon as I get all the necessary tools=
to turn on the Raspberry Pi 4b. I was thinking that L4 worked like the old=
project coLinux,where Linux ran as a list of processes under WIndows. In m=
y sick mind I'd thought that L4 allows FreeBSD to run as a list of proc=
esses with the L4 microkernel itself on "top" of it. Do you know =
if something like this exists ?=C2=A0</div><div><br></div><div><br> </div><=
/div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">O=
n Sun, Feb 11, 2024 at 9:01=E2=80=AFPM Mark Millard <<a href=3D"mailto:m=
arklmi@yahoo.com">marklmi@yahoo.com</a>> wrote:<br></div><blockquote cla=
ss=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid =
rgb(204,204,204);padding-left:1ex">[Only replying to what I've subscrib=
ed to --and I dropped<br>
Warner as well.]<br>
<br>
On Feb 11, 2024, at 11:43, Mario Marietto <<a href=3D"mailto:marietto200=
8@gmail.com" target=3D"_blank">marietto2008@gmail.com</a>> wrote:<br>
<br>
> ok. But what does this mean ? That I can use whatever Linux distro I w=
ant ? Or even the FreeBSD world ?<br>
<br>
Only to build L4Re.<br>
<br>
The LR4e built will not contain any Linux userland materials,<br>
nor any FreeBSD userland materials. LR4e has its own userland<br>
materials that will be present instead.<br>
<br>
<a href=3D"http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/=
arm64/" rel=3D"noreferrer" target=3D"_blank">http://os.inf.tu-dresden.de/do=
wnload/snapshots/pre-built-images/arm64/</a><br>
<br>
already contains pre-built .elf and .uimage files Why not use one<br>
of those on the RPi4B?<br>
<br>
By size (larger), the most complete ones for the RPi4B seem to be<br>
(both formats):<br>
<br>
<a href=3D"http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/=
arm64/bootstrap_vm-multi_rpi4.elf" rel=3D"noreferrer" target=3D"_blank">htt=
p://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/bootstra=
p_vm-multi_rpi4.elf</a><br>
<a href=3D"http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/=
arm64/bootstrap_vm-multi_rpi4.uimage" rel=3D"noreferrer" target=3D"_blank">=
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boots=
trap_vm-multi_rpi4.uimage</a><br>
<br>
<a href=3D"http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/=
arm64/bootstrap_vm-basic_rpi4.elf" rel=3D"noreferrer" target=3D"_blank">htt=
p://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/bootstra=
p_vm-basic_rpi4.elf</a><br>
<a href=3D"http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/=
arm64/bootstrap_vm-basic_rpi4.uimage" rel=3D"noreferrer" target=3D"_blank">=
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/boots=
trap_vm-basic_rpi4.uimage</a><br>
<br>
<br>
> On Sun, Feb 11, 2024 at 7:59=E2=80=AFPM Mark Millard <<a href=3D"ma=
ilto:marklmi@yahoo.com" target=3D"_blank">marklmi@yahoo.com</a>> wrote:<=
br>
> <br>
> <br>
> On Feb 11, 2024, at 05:44, Mario Marietto <<a href=3D"mailto:mariet=
to2008@gmail.com" target=3D"_blank">marietto2008@gmail.com</a>> wrote:<b=
r>
> <br>
> > I'm trying to understand how to use the L4 Microkernel with a=
FreeBSD userland. I've asked the same to a L4 developer,but he told me=
that he does not know FreeBSD,so I'm here to ask the same question. Fi=
rst of all I'm sure that it can be done,because it is written clearly o=
n their website :<br>
> > <br>
> > <br>
> > <a href=3D"http://os.inf.tu-dresden.de/L4Re/download/snapshots/" =
rel=3D"noreferrer" target=3D"_blank">http://os.inf.tu-dresden.de/L4Re/downl=
oad/snapshots/</a><br>
> > <br>
> > <br>
> > on the section :<br>
> > Host system requirements<br>
> > The host system shall be a 64bit-based system with a recent Linux=
distribution installed and at least 2GB of free disk space.<br>
> > All necessary tools required by the build are available from the =
provided packages of the Linux distributions, including cross compilers. Bu=
t there are also other cross compiler packages available (see below). You m=
ight want to run make check_build_tools in the src/l4 directory to verify t=
he common tools are installed.<br>
> > You are free to use any Linux distribution you like, or even BSDs=
or any of its derivatives. But then you should know the game. Especially t=
ool versions should be recent, as installed on the listed distributions bel=
ow.<br>
> > We are confident that the snapshot works on the following distrib=
utions:<br>
> >=C2=A0 =C2=A0 =C2=A0=E2=80=A2 Debian 11 or later<br>
> >=C2=A0 =C2=A0 =C2=A0=E2=80=A2 Ubuntu 22.04 or later<br>
> > <br>
> > Let's say I want to use the L4 microkernel + FreeBSD 14 on my=
Raspberry Pi 4,the first step I did was to build L4Re for the Rpi,accordin=
g with this instructions :<br>
> > <br>
> > <br>
> > <a href=3D"http://os.inf.tu-dresden.de/L4Re/rpi.html" rel=3D"nore=
ferrer" target=3D"_blank">http://os.inf.tu-dresden.de/L4Re/rpi.html</a> <br=
>
> > <br>
> > This is the log file of the compilation,that hasn't given any=
=C2=A0 error :<br>
> > <br>
> > <br>
> > <a href=3D"https://pastebin.ubuntu.com/p/6SwN2mpJBM/" rel=3D"nore=
ferrer" target=3D"_blank">https://pastebin.ubuntu.com/p/6SwN2mpJBM/</a><br>
> > <br>
> > <br>
> > Or I could have taken a pre built image of the L4 microkernel her=
e : <br>
> > <br>
> > <br>
> > <a href=3D"http://os.inf.tu-dresden.de/download/snapshots/pre-bui=
lt-images/arm64/" rel=3D"noreferrer" target=3D"_blank">http://os.inf.tu-dre=
sden.de/download/snapshots/pre-built-images/arm64/</a><br>
> > <br>
> > <br>
> > <br>
> > At this point the tutorial says that I should use a Linux distro.=
They suggest the official distro for the Raspberry Pi 4,that's RaspBia=
n. But I don't want to use Linux as a userland,I want to use FreeBSD. T=
he question now is : what should I do to achieve that goal ? How can I link=
the L4 microkernel with the ubldr bootloader of FreeBSD ? Or should I link=
it to the kernel of FreeBSD ? Can someone explain to me the missing step ?=
thanks.<br>
> <br>
> QUOTING the "Configuring yourself" section:<br>
> The make setup step configures predefined setups for both the L4Re mic=
rokernel (Fiasco) and the L4Re user-level software, and connects both toget=
her so the images for the target system can be built.<br>
> END QUOTE<br>
> <br>
> So L4Re has its own user-level software, not just a kernel. There is n=
o use of a Linux or FreeBSD user-level software<br>
> when L4Re is booted. (They are just used for building.)<br>
> <br>
> "The host system" is just a host for building the L4Re parts=
and assembling the image from the parts. The "Pulling it together&quo=
t; section is about combining the parts (including the microkernel and the =
user-level software) to make the overall image that does not include Linux =
or FreeBSD code.<br>
<br>
<br>
=3D=3D=3D<br>
Mark Millard<br>
marklmi at <a href=3D"http://yahoo.com" rel=3D"noreferrer" target=3D"_blank=
">yahoo.com</a><br>
<br>
</blockquote></div><br clear=3D"all"><br><span class=3D"gmail_signature_pre=
fix">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature">Mario.<br></d=
iv>
--000000000000569ef8061121bd60--