Date: Fri, 15 Oct 2021 11:41:57 +0700 From: Olivier <Olivier.Nicole@cs.ait.ac.th> To: freebsd-arm@freebsd.org Subject: Patching a kernel on RPi Message-ID: <wu7sfx2j3vu.fsf@banyan.cs.ait.ac.th>
next in thread | raw e-mail | index | archive | help
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 --
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?wu7sfx2j3vu.fsf>