GPIO programs for Raspberry Pi in Python and C

[Rocky Hotas <rockyhotas%firemail.cc@localhost>]

Hello!
I successfully installed NetBSD 9.1 evbarm (arm64.img) on a Raspberry Pi
3 B+. In the Raspberry documentation, several example regarding the
handling of GPIO pins are available as Python programs:

https://www.raspberrypi.org/documentation/usage/gpio/python/README.md

They use a module named `gpiozero'. However, in pkgsrc I did not find
such a module for NetBSD.
Is there something equivalent? Or is there some plan to make `gpiozero'
available in future?

As an alternative, are there some C libraries available for NetBSD, to
manage the GPIO pins?

In pkgsrc current, excluding the games and a video player, I only found:

misc/raspberrypi-userland-20170109nb3

but I am not sure what it is about, and it is not present in 2020Q4 (the
repository actually used by my Raspberry).

Rocky