> Date: Thu, 16 Apr 2020 21:55:39 +0100
> From: Stuart Henderson
>
> On 2020/04/10 18:29, Mark Kettenis wrote:
> > real mem = 1993285632 (1900MB)
> > avail mem = 1902022656 (1813MB)
>
> It's happy on the 4GB ones with the UEFI option toggled too (by
> default it is limited to 3GB).
I doubt tha
On 2020/04/10 18:29, Mark Kettenis wrote:
> real mem = 1993285632 (1900MB)
> avail mem = 1902022656 (1813MB)
It's happy on the 4GB ones with the UEFI option toggled too (by
default it is limited to 3GB).
Thanks for getting this working Mark!
[ using 2013952 bytes of bsd ELF symbol table ]
Copy
Hi Mark,
Great job, thanks for all your efforts and works on arm achitectures :)
On Fri, 10 Apr 2020 18:29:16 +0200 (CEST)
Mark Kettenis wrote:
> With the diffs I just posted to tech@, OpenBSD can boot successfully
> on the Raspberry Pi4 if you use the EDK2-based UEFI firmware that is
> availbl
With the diffs I just posted to tech@, OpenBSD can boot successfully
on the Raspberry Pi4 if you use the EDK2-based UEFI firmware that is
availble now. In principle you can build it yourself from source, but
pre-built versions can be found at:
https://github.com/pftf/RPi4
Pretty much the only
