Re: Patching a kernel on RPi

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.

-- Ian