Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 31 May 2020 17:30:34 +0200
From:      =?utf-8?Q?Klaus_K=C3=BCchemann?= <maciphone2@googlemail.com>
To:        Robert Crowston <crowston@protonmail.com>, freebsd-arm@freebsd.org
Subject:   Re: rpi4-uefi.dev  Re: RaspberryPi 4B 8G model not boot
Message-ID:  <5539A25D-AE42-498A-8349-9E7E32051BC8@googlemail.com>
In-Reply-To: <D0paXIwfCujmpp_O4lxNga4qaTaL9IUPZipaaYopip3F8rjx42RXMIt84VYttOWLCgG9-noiBoHG8zPMc5z3gflITvzXR_2GW52eJhI--kM=@protonmail.com>
References:  <20200530.130909.120260481726933388.shigeru@os-hackers.jp> <D174CF68-09DC-48E0-A25A-321D2018908D@googlemail.com> <50DC156A-CA39-4809-85B7-02A5180DAB63@yahoo.com> <F3909CAB-488C-4315-ADFD-E769CD91C8B9@googlemail.com> <2DE76C92-8F4B-4658-94E4-FB7C7B7C6135@googlemail.com> <0AD80BEF-AA71-41F0-AD71-DF8516B790D9@yahoo.com> <67808784-29A6-4BC2-9B25-E31DE6DA862A@googlemail.com> <20C49D55-9940-422F-9699-4C56CFCF281B@unrelenting.technology> <83980CE0-276E-4DD9-B035-5ED2B561324B@googlemail.com> <53680CD3-4FE9-42C9-A534-416A71263A08@unrelenting.technology> <D0paXIwfCujmpp_O4lxNga4qaTaL9IUPZipaaYopip3F8rjx42RXMIt84VYttOWLCgG9-noiBoHG8zPMc5z3gflITvzXR_2GW52eJhI--kM=@protonmail.com>

next in thread | previous in thread | raw e-mail | index | archive | help


> Am 31.05.2020 um 16:14 schrieb Robert Crowston =
<crowston@protonmail.com>:
>=20
>> pcie isn`t exposed ( to the OS) in RPI4UEFI-dev , that=E2=80=99s what =
@AndrejWarkentin told us =E2=80=A6
>=20
> Something about this doesn't make sense, because there is a PCI-E =
driver for OpenBSD that was written specifically for the Rpi4 UEFI.
>=20
>=20

OpenBSD`s pcie-driver for RPI4UEFI-dev targets DeviceTree (not ACPI),=20
Meanwhile there  are  3 boot - options in their v 1.3  :
DeviceTree (only), ACPI (only) & ACPi & DeviceTree (both)




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5539A25D-AE42-498A-8349-9E7E32051BC8>