Re: RaspberryPi 4 GPIO

[satch <netbsd-lists%protonmail.com@localhost>]

On Tuesday, 24 December 2024 at 13:03, Greg Troxel <gdt%lexort.com@localhost> wrote:

> > 
> > Could you tell us more about your setup which works.
> > 
> > You are using UEFI booting? Do you know what version?
> > ...
> 
> 
> No, I am using the bootcode which comes with the "build.sh release".
> 
> > And you mention you are building from sources. Is that using
> > the GENERIC64 kernel config?
> 
> 
> build.sh release, and yes GENERIC64.
> 


Same kernel. Different boot setup.

Since he GPIO fails to be configured before the root filesystem 
is mounted I am thinking it is maybe the UEFI not exposing the 
GPIO to the OS.

I notice that if in the UEFI menus I enable a fan plugged onto 
the GPIO header then acpifan0 is configured on boot and works 
as expected.

Thanks for your help btw. Happy Christmas if you observe it.