Re: Patching a kernel on RPi

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Olivier <Olivier.Nicole_at_cs.ait.ac.th>
Date: Sat, 16 Oct 2021 10:04:25 UTC

Ian Lepore <ian@freebsd.org> writes:

> On Fri, 2021-10-15 at 11:41 +0700, Olivier wrote:
>> Hi,
>> 
>> I am trying to work on a Raspberry Pi with FreeBSD for the first
>> time.
>> 
>> One thing I need it enabling interrupts on GPIO. I have found the
>> patch
>> to applied, but I am not fully sure how to recompile the kernel and
>> install the new kernel on RPi.
>> 
>> I understand that the disk/boot organisation is not really the same
>> as
>> with another arcitecture and would prefer to not do something that
>> would
>> make the system unbootable.
>> 
>> TIA,
>> 
>> Olivier
>
> There is no need to patch and recompile the kernel to use gpio
> interrupts on RPi.  The native RPi gpio driver supports interrupts.

Is that for FreeBSD 12.2 or 13? From all information I could find, it
said that kernel 12.2 needs patch.

Thank you,

Olivier