RaspberryPi 4 GPIO

satch <[email protected]> Mon, 23 Dec 2024 09:28:59 +0000

Newsgroups	gmane.os.netbsd.ports.arm
Message-ID	<UVqEGdJL8dw2wZ1IU9IPgpBXiQqR2zVWbX2axSThXhLUUeeGSjJXeY3LdL9Hfyy_L_gI2c-OxSqq8AgZF01Y9uQ4_qwnCTXsH6HzckWfMhE=@protonmail.com>

I used the NetBSD 10.1 arm64.img.gz with a RPi4 model B 8Gb.

I would like to use a GPIO pin for output. 
However this does not seem to be supported by the GENERIC kernel.

eg. 'dmesg | grep gpio' returns nothing.

Could I please get advice on how to proceed?

Thanks,
Satch