On 2021/03/08 23:21, Marfaba Stewart wrote:
> On Monday, March 8, 2021 3:47 PM, Marcus Glocker <[email protected]> wrote:>
> > Does this patch make a difference?
> >
> 
> Hi, I apologize for the dumb question, but I'm not sure
> how to build for the Pi; I've only built for i386
> and amd64.

Exactly the same way. Checkout src/sys (no need for all of src if
you're only building a kernel), cd /sys/arch/arm64/compile/GENERIC
or GENERIC.MP, make obj, make config, make, doas make install

> I'm assuming I would need something more high-powered
> than the Pi to build. Would it be possible to build
> on a Pinebook Pro?
> 
> If not, would you have any suggestions as to the
> correct hardware I should get or donate?
> 
> Thank you very much.
> 

There's just one type of kernel used on OpenBSD/arm64, you can build
on any machine type and copy it over. So yes there would be no problem
building on a Pinebook Pro if you have one available. (Or Raspberry Pi 4
which is pretty quick). Same for userland software / packages / etc.
There's not a general problem building on RPi3 either though (I have
to say I'm surprised you've got this much running on 3B+ already,
I thought the USB controller driver was in worse shape than this).

Reply via email to