Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 9 Jan 2021 15:34:35 -0500
From:      Paul Mather <paul@gromit.dlib.vt.edu>
To:        Andy McClements <ajm@ip-ether.net>
Cc:        freebsd-arm <freebsd-arm@freebsd.org>
Subject:   Re: RPi4b 8GB - kudos to OBSD
Message-ID:  <00802F30-4151-4D5E-8560-FF0100AE7218@gromit.dlib.vt.edu>
In-Reply-To: <0cfbea05-a00c-f8f6-1044-a98e43c11506@ip-ether.net>
References:  <0cfbea05-a00c-f8f6-1044-a98e43c11506@ip-ether.net>

next in thread | previous in thread | raw e-mail | index | archive | help
On Jan 9, 2021, at 1:45 PM, Andy McClements <ajm@ip-ether.net> wrote:

> I trust this message does not breach any term-of-use for this list.
>=20
> However I thought it worth saying that the OpenBSD team have done a =
great job with their support for the RPi4b 8GB. I used the release =
version of 6.8 arm64 (miniroot68.img), and the 1.22 release of =
https://github.com/pftf/RPi4/.
>=20
> 8GB RAM
> USB: all working
> GENET: working (not quite as fast as FreeBSD)
> USB boot: no problemo
>=20
> This is working fully in pure ACPI mode, NO DEVICE-TREE ! (As far as =
OS is concerned).
>=20
> The only manual intervention required during installation was to copy =
the EDK2 boot files to the DOS partition.
>=20
> The system has not been fully tested yet but so far it appears that =
'everything works' :)


FWIW, the same is true of NetBSD on RPi 4, too.


> However I am hoping to continue keeping this shop a 'FreeBSD shop'. =
Shame the FreeBSD 'genet' driver has no ACPI support..


I, too, hope to be able to switch back over to FreeBSD if/when its =
Raspberry Pi support improves.  I do acknowledge, though, that FreeBSD =
developers have historically seen it as not a priority for developer =
time and resources due to the "closed" nature of its documentation =
making it difficult to work on.  I respect that stance.

Cheers,

Paul.




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?00802F30-4151-4D5E-8560-FF0100AE7218>